Services and Contracts: Coalgebraically
From MaRDI portal
Publication:5415620
DOI10.1016/j.entcs.2008.04.063zbMath1286.68024MaRDI QIDQ5415620
Publication date: 13 May 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.063
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003
- Categorical semantics of parallel program design
- Universal coalgebra: A theory of systems
- A final coalgebra theorem
- Theoretical Aspects of Computing – ICTAC 2005