The Microcosm Principle and Concurrency in Coalgebra

DOI10.1007/978-3-540-78499-9_18zbMath1139.68042OpenAlexW2119534622MaRDI 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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of machines, automata (18B20)

Related Items (10)

Coalgebraic Components in a Many-Sorted Microcosm ⋮ Traces, Executions and Schedulers, Coalgebraically ⋮ Categorifying Computations into Components via Arrows as Profunctors ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ Multigames and strategies, coalgebraically ⋮ Bialgebras for structural operational semantics: an introduction ⋮ A Rule Format for Associativity ⋮ Traces for coalgebraic components ⋮ A formal abstract framework for modelling and testing complex software systems ⋮ Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems

This page was built for publication: The Microcosm Principle and Concurrency in Coalgebra