A categorical framework for typing CCS-style process communication
From MaRDI portal
Publication:2841310
DOI10.1016/S1571-0661(04)80500-0zbMath1268.68131MaRDI QIDQ2841310
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Cites Work
- Calculi for synchrony and asynchrony
- Coherence for compact closed categories
- A calculus of mobile processes. II
- Categorical logic and type theory
- Closed action calculi
- Trust and partial typing in open systems of mobile agents
- Normal forms for algebras of connections.
- Assigning types to processes
- Calculi for interaction
- Categories for Types
- Traced monoidal categories
- Retracing some paths in process algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item