|
9
|
The microcosm principle and concurrency in coalgebras
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2008
|
|
12
|
Generic trace semantics via coinduction
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2007
|
|
10
|
From Bialgebraic Semantics to Congruence Formats
– Bartek Klin
- 2005
|
|
|
Bialgebraic Operational Semantics and Modal Logic (extended abstract)
– Bartek Klin
|
|
5
|
Structural Operational Semantics for Stochastic Process Calculi
– Bartek Klin, Vladimiro Sassone
|
|
5
|
Bialgebraic methods in structural operational semantics
– Bartek Klin
- 2007
|
|
|
Towards Bialgebraic Semantics for CSP Technical Report FCT/UNL-DI 3-2010 (Draft)
– Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach
|
|
2
|
Combining a Monad and a Comonad
– John Power, Hiroshi Watanabe
|
|
|
Towards Effects in Mathematical Operational Semantics
– Faris Abou-saleh, Dirk Pattinson
|
|
4
|
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
– Bartek Klin
- 2007
|
|
19
|
Modular construction of modal logics
– Corina Cîrstea, Dirk Pattinson
- 2004
|
|
|
Table of Contents General Information 1 Editor’s Letter — Ross
– unknown authors
|
|
|
Coalgebras, Stone Duality, Modal Logic
– Alexander Kurz
- 2006
|
|
4
|
Generalizing the powerset construction, coalgebraically ∗
– Ra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten, Centrum Wiskunde
|
|
1
|
GSOS for probabilistic transition systems (Extended Abstract)
– Falk Bartels
- 2002
|
|
|
Notions of bisimulation and congruence formats
– Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2004
|
|
15
|
Generalised Coinduction
– Falk Bartels
- 2001
|
|
4
|
Tile Transition Systems as Structured Coalgebras
– Andrea Corradini, Reiko Heckel, Ugo Montanari
- 1999
|
|
18
|
Compositional SOS and beyond: a coalgebraic view of open systems
– Andrea Corradini , Reiko Heckel , Ugo Montanari
- 2002
|
