Trace Semantics for Coalgebras (2003)

View PDF

Download Links

by Bart Jacobs
Citations:22 - 7 self

Active Bibliography

7 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
13 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
23 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
GENERIC TRACE SEMANTICS VIA COINDUCTION ∗ – Ichiro Hasuo A, Bart Jacobs B, Ana Sokolova C - 2007
11 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
11 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin