Publications

Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum

AuthID
P-008-2TJ

Author(s)

Maldonado, AP

Monteiro, L

Roggenbach, M

Document Type

Proceedings Paper

Year published

2012

Published

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

Volume: 7137 LNCS, Pages: 209-225

Conference

20Th International Workshop on Algebraic Development Techniques, Wadt 2010, Date: 1 July 2010 through 4 July 2010, Location: Etelsen, Sponsors: University of Bremen

Indexing