nLab higher dimensional transition system

Higher dimensional transitions systems are thought of as modelling concurrent operation of interacting transition systems. They are related to applications of directed homotopy theory, and directed algebraic topology.

We will give the definition that Gaucher uses (see below). The version of Cattani and Sassone includes some extra conditions that yield a structure nearer to that of a process algebra.

A non-empty set, Σ\Sigma, of labels is fixed.


A weak higher dimensional transition system is a triple, (S,μ:LΣ,T)(S,\mu:L\to \Sigma,T), where SS is a set of states, LL a set of actions, μ\mu is a labelling map and T= n1T nT = \bigcup_{n\geq 1}T_n, where T nS×L n×ST_n\subset S\times L^n\times S is a set of nn-transitions, such that two axioms hold, that ensure that the nn-transitions are closed under permutations of labels and also satisfy a coherence (patching) axiom.

The case n=1n=1 corresponds to transition systems.


Last revised on July 21, 2020 at 09:07:16. See the history of this page for a list of all contributions to it.