Pages that link to "Item:Q964488"
From MaRDI portal
The following pages link to Typed event structures and the linear \(\pi \)-calculus (Q964488):
Displaying 12 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- An approach to innocent strategies as graphs (Q418201) (← links)
- Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
- Minimisation of event structures (Q2084951) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- A Verification Technique for Reversible Process Algebra (Q3453753) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
