Pages that link to "Item:Q3541958"
From MaRDI portal
The following pages link to Process Bisimulation Via a Graphical Encoding (Q3541958):
Displaying 9 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi (Q3184728) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- Bisimulations on Data Graphs (Q4605201) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)