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 | |
|---|---|
| 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.
|