The Microcosm Principle and Concurrency in Coalgebra.

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Browse the full FOSSACS paper archive.