Module `Bigraph.Abrs`

Operations on action BRSs i.e. BRSs with discrete probabilistic transitions and explicit non-deterministic choices.

Defined in:

B. Archibald, M. Calder and, M. Sevegnani. Probabilistic Bigraphs, ACM Formal Aspects of Computing Journal, Volume 34, Issue 2, 2022.

module type T = sig ... end

Output signature of the functor Abrs.Make.

module Make (_ : Solver.M) : T

Functor building a concrete implementation of an action BRS with Markov Decision Process (MDP) semantics given a matching engine.