The Microcosm Principle and Concurrency in Coalgebra
From MaRDI portal
Publication:5458363
DOI10.1007/978-3-540-78499-9_18zbMath1139.68042MaRDI QIDQ5458363
Bart Jacobs, Ana Sokolova, Ichiro Hasuo
Publication date: 11 April 2008
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_18
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C10: Theories (e.g., algebraic theories), structure, and semantics
18B20: Categories of machines, automata
Related Items
Bialgebras for structural operational semantics: an introduction, A formal abstract framework for modelling and testing complex software systems, Multigames and strategies, coalgebraically, Involutive categories and monoids, with a GNS-correspondence, Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems, Coalgebraic Components in a Many-Sorted Microcosm, Traces, Executions and Schedulers, Coalgebraically, Categorifying Computations into Components via Arrows as Profunctors, Traces for coalgebraic components, A Rule Format for Associativity