Logical Methods in Computer Science
Collection
Collection
- ISSN: 18605974
Published by Logical Methods in Computer Science e.V.
-
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge Article
Logical Methods in Computer Science, 1(1-3), 1-12.L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
January 2005 -
Rational streams coalgebraically Article
Logical Methods in Computer Science, 4(3)January 2008
-
Coinductive Formal Reasoning in Exact Real Arithmetic Article
Logical Methods in Computer Science, 4(3)September 2008
-
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article
Logical Methods in Computer Science, 5(2)January 2009 -
Solving Simple Stochastic Games with Few Random Vertices Article
Logical Methods in Computer Science, 5(2)May 2009
-
The Complexity of Nash Equilibria in Stochastic Multiplayer Games Article
Logical Methods in Computer ScienceJanuary 2010
-
Non-deterministic Kleene coalgebras Article
Logical Methods in Computer ScienceA.M. Silva (Alexandra), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
August 2010
-
Generalizing determinization from automata to coalgebras Article
Logical Methods in Computer Science, 9(1:09), 1-27.A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
January 2013