How to Kill Epsilons with a Dagger
From MaRDI portal
Publication:2942775
DOI10.1007/978-3-662-44124-4_4zbMath1331.68148MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C50: Categorical semantics of formal languages
Related Items