Rolf Hennicker, Alexander Knapp. Modal Interface Theories for Communication-Safe Component Assemblies. In Antonio Cerone, Pekka Pihlajasaari, editors, Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Volume 6916 of Lecture Notes in Computer Science, pages 135-153, Springer, 2011. [doi]
Abstract is missing.