Generalizing the powerset construction, coalgebraically (2010)

by Alexandra Silva , Filippo Bonchi , Marcello M. Bonsangue , Jan J. M. M. Rutten
Citations:7 - 4 self

Active Bibliography

1 GENERALIZING DETERMINIZATION FROM AUTOMATA TO COALGEBRAS – Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde, Centrum Wiskunde
7 Deriving syntax and axioms for quantitative regular behaviours – Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva - 2009
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
4 A Coalgebraic Perspective on Linear Weighted Automata – Filippo Bonchi, Marcello Bonsangue , Michele Boreale , Jan Rutten , Alexandra Silva - 2011
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
12 Coalgebraic automata theory: Basic results – Clemens Kupke, Yde Venema
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
25 PSPACE bounds for rank 1 modal logics – Lutz Schröder, Dirk Pattinson - 2006
1 PSPACE bounds for rank 1 modal logics – Lutz Schr Öder, Dirk Pattinson - 2006
14 Characterising testing preorders for finite probabilistic processes – Yuxin Deng, Rob Van Glabbeek
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
Modeling and Verification of Randomized . . . – Roberto Segala - 1995
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs