5 citations
1 paper
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…