@Inproceedings{EPTCS30.8, author = {Jaghoori, Mohammad Mahdi and Chothia, Tom }, year = {2010}, title = {Timed Automata Semantics for Analyzing Creol}, editor = {Mousavi, MohammadReza and Sala\"un, Gwen}, booktitle = {{\rm Proceedings Ninth International Workshop on} the Foundations of Coordination Languages and Software Architectures, {\rm Paris, France, 4th September 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {30}, publisher = {Open Publishing Association}, pages = {108-122}, doi = {10.4204/EPTCS.30.8}, }