Trace Semantics for Coalgebras

Trace Semantics for Coalgebras (2003)

by Bart Jacobs

Citations:

15 - 7 self

@MISC{Jacobs03tracesemantics,
    author = {Bart Jacobs},
    title = {Trace Semantics for Coalgebras},
    year = {2003}
}

Traditionally, traces are the sequences of labels associated with paths in transition systems X # P(A X).

651	Notions of computation and monads - Moggi - 1991
279	Universal coalgebra: a theory of systems - Rutten - 2000
169	Bisimulation Can’t Be Traced - Bloom, Istrael, et al. - 1995
122	G.: Towards a mathematical operational semantics - Turi, Plotkin - 1997
31	On generalized coinduction and probabilistic specification formats - Bartels - 2004
14	Exercises in coalgebraic specification - Jacobs - 2002
10	A coalgebraic foundation for linear time semantics - Power, Turi - 1999