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