Pages that link to "Item:Q598191"
From MaRDI portal
The following pages link to Models for name-passing processes: Interleaving and causal (Q598191):
Displaying 18 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Mathematical models of systems of transcription of name-and-surname groups (Q1743105) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Comparing operational models of name-passing process calculi (Q2847808) (← links)
- A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)