Pages that link to "Item:Q2847808"
From MaRDI portal
The following pages link to Comparing operational models of name-passing process calculi (Q2847808):
Displaying 11 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- A name abstraction functor for named sets (Q2873662) (← links)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- (Q5216156) (← links)