Pages that link to "Item:Q1605174"
From MaRDI portal
The following pages link to A fully abstract denotational semantics for the \(\pi\)-calculus (Q1605174):
Displaying 10 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- A semantic theory for value-passing processes based on the late approach (Q1398368) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- Nominal Automata with Name Binding (Q2988364) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- A Resource Analysis of the π-calculus (Q5739364) (← links)
