|
4
|
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
– Bartek Klin
- 2007
|
|
|
Bialgebraic Operational Semantics and Modal Logic (extended abstract)
– Bartek Klin
|
|
10
|
From Bialgebraic Semantics to Congruence Formats
– Bartek Klin
- 2005
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
8
|
Coalgebraic modal logic beyond Sets
– Bartek Klin
- 2007
|
|
5
|
Structural Operational Semantics for Stochastic Process Calculi
– Bartek Klin, Vladimiro Sassone
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
|
|
Notions of bisimulation and congruence formats
– Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2004
|
|
|
Table of Contents General Information 1 Editor’s Letter — Ross
– unknown authors
|
|
|
Coalgebras, Stone Duality, Modal Logic
– Alexander Kurz
- 2006
|
|
|
Ministry of University and Research project SisteR (PRIN 20088HXMYN).
– Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci, F. Bonchi, M. G. Buscemi, V. Ciancia, F. Gadducci (b
- 2011
|
|
12
|
Generic trace semantics via coinduction
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2007
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
1
|
A Category of Explicit Fusions
– Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
- 2008
|
|
|
Thesis description: Name-passing process calculi: operational models and structural operational semantics.
– Sam Staton
|
|
1
|
GSOS for probabilistic transition systems (Extended Abstract)
– Falk Bartels
- 2002
|
|
15
|
Generalised Coinduction
– Falk Bartels
- 2001
|
|
6
|
General structural operational semantics through categorical logic (Extended Abstract)
– Sam Staton
- 2008
|
|
6
|
The least fibred lifting and the expressivity of coalgebraic modal logic
– Bartek Klin
- 2005
|
