How to Kill Epsilons with a Dagger

DOI10.1007/978-3-662-44124-4_4zbMath1331.68148OpenAlexW1583789053MaRDI QIDQ2942775

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

Publication date: 11 September 2015

Published in: Advanced Information Systems Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44124-4_4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)

Related Items (1)

Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure

This page was built for publication: How to Kill Epsilons with a Dagger