Publications

How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure

AuthID
P-009-TWS

Author(s)

Bonchi, F

Milius, S

Silva, A

Zanasi, F

Editor(s)

Marcello M. Bonsangue

Document Type

Proceedings Paper

Year published

2014

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8446 LNCS, Pages: 53-74

Conference

12Th International Workshop on Coalgebraic Methods in Computer Science, Cmcs 2014, as a Satellite Event of the Joint Conference on Theory and Practice of Software, Etaps 2014, Date: 5 April 2014 through 6 April 2014, Location: Grenoble, Sponsors: IFIP WG 1.3;LIACS - Leiden University

Indexing