The following pages link to (Q3771632):
Displayed 39 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- A theory of processes with durational actions (Q674005) (← links)
- Structure of concurrency (Q685384) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Refinement of actions in event structures and causal trees (Q688717) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Petri nets are monoids (Q922720) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Branching processes of Petri nets (Q1175711) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- Towards an algebra for timed behaviours (Q1199544) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Deciding true concurrency equivalences on safe, finite nets (Q1365677) (← links)
- The difference between splitting in \(n\) and \(n+1\) (Q1370654) (← links)
- Towards a unified view of bisimulation: A comparative study (Q1575240) (← links)
- Processes of timed Petri nets (Q1575631) (← links)
- The theory of interactive generalized semi-Markov processes (Q1603705) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Vertical implementation (Q1854462) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Architectural CCS (Q1914040) (← links)
- Timing and causality in process algebra (Q1924998) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- On the expressiveness of higher dimensional automata (Q2491631) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) (Q2638769) (← links)
- Concurrent bisimulations in Petri nets (Q2639636) (← links)
- Real time process algebra (Q2640341) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Quantales, finite observations and strong bisimulation (Q5940918) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- On the semantics of durational actions (Q5958612) (← links)