Initial algebra and final coalgebra semantics for concurrency (1994)

by J J M M Rutten, D Turi
Venue:Proc. of the REX workshop A Decade of Concurrency – Reflections and Perspectives, volume 803 of LNCS