Pages that link to "Item:Q4653019"
From MaRDI portal
The following pages link to On asynchrony in name-passing calculi (Q4653019):
Displayed 19 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- Theory of interaction (Q896903) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- On the observational theory of the CPS-calculus (Q968276) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- Eager functions as processes (Q2123050) (← links)
- On distributability (Q2123059) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS (Q2856009) (← links)
- Matching Systems for Concurrent Calculi (Q2864374) (← links)
- Propositions as sessions (Q2875234) (← links)
- The λ-calculus in the π-calculus (Q3094164) (← links)
- Channel abstractions for network security (Q3550700) (← links)
- (Q5018488) (← links)
- Security Abstractions and Intruder Models (Extended Abstract) (Q5170668) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)