Timed Automata Semantics for Analyzing Creol

MM Jaghoori; Tom Chothia

doi:10.4204/EPTCS.30.8

Timed Automata Semantics for Analyzing Creol

Computer Science

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	108-122
Number of pages	15
DOIs	https://doi.org/10.4204/EPTCS.30.8
Publication status	Published - 28 Jul 2010
Event	Electronic Proceedings in Theoretical Computer Science: Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010) - Duration: 28 Jul 2010 → …

Conference

Conference	Electronic Proceedings in Theoretical Computer Science: Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010)
Period	28/07/10 → …

Access to Document

10.4204/EPTCS.30.8

Cite this

@conference{11fbe90bcb744f9987efb68a3126116c,

title = "Timed Automata Semantics for Analyzing Creol",

author = "MM Jaghoori and Tom Chothia",

year = "2010",

month = jul,

day = "28",

doi = "10.4204/EPTCS.30.8",

language = "English",

pages = "108--122",

note = "Electronic Proceedings in Theoretical Computer Science: Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010) ; Conference date: 28-07-2010",

}

TY - CONF

T1 - Timed Automata Semantics for Analyzing Creol

AU - Jaghoori, MM

AU - Chothia, Tom

PY - 2010/7/28

Y1 - 2010/7/28

U2 - 10.4204/EPTCS.30.8

DO - 10.4204/EPTCS.30.8

M3 - Paper

SP - 108

EP - 122

T2 - Electronic Proceedings in Theoretical Computer Science: Proceedings of the Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010)

Y2 - 28 July 2010

ER -