Timed Automata Semantics for Analyzing Creol.

Additional Metadata
ACM	Concurrent Programming (acm D.1.3), Models of Computation (acm F.1.1), Specifying and Verifying and Reasoning about Programs (acm F.3.1)
THEME	Software (theme 1)
Publisher	EPTCS
Project	Modelling and Analysis of evolutionary structures for distributed services
Conference	International Workshop on the Foundations of Coordination Languages and Software Architecture
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Jaghoori, M. M., & Chothia, T. (2010). Timed Automata Semantics for Analyzing Creol. In Proceedings of International Workshop on the Foundations of Coordination Languages and Software Architecture 2010. EPTCS.

Publication