8 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
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…