Initial Algebra and Final Coalgebra Semantics for Concurrency (1994)

Cached

Download Links

by Jan Rutten , Daniele Turi
Citations:55 - 9 self

Document Versions

Initial Algebra and Final Coalgebra Semantics for Concurrency –Jan Rutten, Daniele Turi — 1994