A coalgebraic view on decorated traces
From MaRDI portal
Publication:2973240
DOI10.1017/S0960129514000449zbMath1364.68276MaRDI QIDQ2973240
Marcello M. Bonsangue, Georgiana Caltais, Alexandra Silva, Filippo Bonchi, Jan J. M. M. Rutten
Publication date: 3 April 2017
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Unnamed Item
- A hierarchy of probabilistic system types
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Universal coalgebra: A theory of systems
- Testing equivalence as a bisimulation equivalence
- Processes as formal power series: a coinductive approach to denotational semantics
- Coalgebraic Bisimulation-Up-To
- Brzozowski’s and Up-To Algorithms for Must Testing
- Final Semantics for Decorated Traces
- Algebraic laws for nondeterminism and concurrency