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
Citation
Jaghouri, 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.