Pages that link to "Item:Q4653019"
From MaRDI portal
The following pages link to On asynchrony in name-passing calculi (Q4653019):
Displaying 25 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)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← 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)
- Symmetries and Dualities in Name-Passing Process Calculi (Q2944898) (← links)
- The λ-calculus in the π-calculus (Q3094164) (← links)
- Channel abstractions for network security (Q3550700) (← links)
- (Q4219054) (← links)
- (Q5018488) (← links)
- Security Abstractions and Intruder Models (Extended Abstract) (Q5170668) (← links)
- (Q5216156) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)
