Timed Automata Semantics for Analyzing Creol

Mohammad Mahdi Jaghoori, Tom Chothia

We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to ve…