2010
Timed Automata Semantics for Analyzing Creol.
Publication
Publication
Presented at the
International Workshop on the Foundations of Coordination Languages and Software Architecture, Paris
Additional Metadata | |
---|---|
Concurrent Programming (acm D.1.3), Models of Computation (acm F.1.1), Specifying and Verifying and Reasoning about Programs (acm F.3.1) | |
Software (theme 1) | |
EPTCS | |
Modelling and Analysis of evolutionary structures for distributed services | |
International Workshop on the Foundations of Coordination Languages and Software Architecture | |
Organisation | Computer Security |
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.
|