Reactive systems over directed bigraphs (2007)

by D Grohmann, M Miculan
Venue:Proceedings of the 18th International Conference on Concurrency Theory (CONCUR’07), volume 4703 of Lecture Notes in Computer Science