Pages that link to "Item:Q5958468"
From MaRDI portal
The following pages link to From rewrite rules to bisimulation congruences (Q5958468):
Displaying 16 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Active Evaluation Contexts for Reaction Semantics (Q2866316) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
- Directed Bigraphs (Q5262934) (← links)
- Bisimulation and Co-induction: Some Problems (Q5262977) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
