The following pages link to (Q4362963):
Displayed 13 items.
- Models for name-passing processes: Interleaving and causal (Q598191) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay (Q1398465) (← links)
- Presheaf models for CCS-like languages (Q1399958) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- A static analysis of cryptographic processes: the denotational approach (Q2484412) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- Bisimilarity of Diagrams (Q5098713) (← links)