14 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 14 cited
Decidability Problems for Actor Systems
Frank De Boer, Mahdi Jaghoori, Cosimo Laneve +1
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a crucial feature: the dynamic creation of names in…
cs.LO2010★ 5 cited
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…