Initial Algebra and Final Coalgebra Semantics for Concurrency (1994)

View PDF

Download Links

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