Daniele Turi |
Further Publications |
CTCS'99
(with J. Power) |
A Coalgebraic Foundation for Linear Time Semantics |
CTCS'97 | Categorical Modelling
of Structural Operational Rules:
case studies PostScript |
MSCS, 1998
(with J.J.M.M. Rutten) |
On the Foundations
of Final Coalgebra Semantics:
non-well-founded sets, partial orders, metric spaces PostScript |
LNCS 803, 1994
(with J.J.M.M. Rutten) |
Initial
Algebra and Final Coalgebra Semantics for Concurrency
PostScript |