The Microcosm Principle and Concurrency in Coalgebra

Ichiro Hasuo, Bart Jacobs, Ana Sokolova. The Microcosm Principle and Concurrency in Coalgebra. In Roberto M. Amadio, editor, Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi. Volume 4962 of Lecture Notes in Computer Science, pages 246-260, Springer, 2008. [doi]

Authors

Ichiro Hasuo

This author has not been identified. Look up 'Ichiro Hasuo' in Google

Bart Jacobs

This author has not been identified. It may be one of the following persons: Look up 'Bart Jacobs' in Google

Ana Sokolova

This author has not been identified. Look up 'Ana Sokolova' in Google