some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Selected papers of the conference on ''Foundations of Software Science and Computation Structures'': FOSSACS 2012
Tallinn, Estonia, 2012



Preface
L. Aceto and L. Birkedal


On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Stefan Kiefer, Andrzej Murawski, Jol Ouaknine, Bjrn Wachter and James Worrell


Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Sebastian Preugschat and Thomas Wilke


Well-Pointed Coalgebras
Jiř Admek, Stefan Milius, Lawrence S. Moss and Lurdes Sousa


On Characterising Distributability
Rob J. van Glabbeek, Ursula Goltz and Jens-Wolfhard Schicke-Uffmann


When is a container a comonad?
Danel Ahman, James Chapman and Tarmo Uustalu



DOI: 10.2168/LMCS-FOSSACS:2012

Creative Commons