|
1
|
Elements of stream calculus
– J. J. M. M. Rutten
- 2001
|
|
1
|
GSOS for probabilistic transition systems (Extended Abstract)
– Falk Bartels
- 2002
|
|
|
Coalgebraic Bisimulation-Up-To Jurriaan Rot 1,2, ⋆ , Marcello Bonsangue 1,2, and Jan Rutten 2,3
– Centrum Wiskunde En Informatica
|
|
5
|
Bialgebraic methods in structural operational semantics
– Bartek Klin
- 2007
|
|
4
|
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
– Bartek Klin
- 2007
|
|
|
Generalized Coinduction
– Falk Bartels
- 2003
|
|
23
|
A coinductive calculus of streams
– J. J. M. M. Rutten
- 2005
|
|
3
|
Relating Two Approaches to Coinductive Solution of Recursive Equations
– Bart Jacobs
- 2004
|
|
|
Coinductive Proof Techniques for Language Equivalence
– Jurriaan Rot, Marcello Bonsangue, Jan Rutten
|
|
2
|
Checking NFA equivalence with bisimulations up to congruence
– Damien Pous
|
|
11
|
Distributive laws for the coinductive solution of recursive equations
– Bart Jacobs
|
|
3
|
Coinductive Counting With Weighted Automata
– J. J. M. M. Rutten
- 2002
|
|
|
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
– Furio Honsell, Marina Lenisa, Honsell Lenisa
- 2000
|
|
10
|
GSOS for Probabilistic Transition Systems
– Falk Bartels
- 2002
|
|
12
|
Generic trace semantics via coinduction
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2007
|
|
|
Table of Contents General Information 1 Editor’s Letter — Ross
– unknown authors
|
|
|
Coalgebras, Stone Duality, Modal Logic
– Alexander Kurz
- 2006
|
|
2
|
Ordered SOS Process Languages for Branching and Eager Bisimulations
– Irek Ulidowski, Iain Phillips
- 2002
|
|
10
|
From Bialgebraic Semantics to Congruence Formats
– Bartek Klin
- 2005
|
