Cited By
View all- Jaghoori MBoer FLonguet DChothia TSirjani M(2017)Compositional schedulability analysis of real-time actor-based systemsActa Informatica10.1007/s00236-015-0254-x54:4(343-378)Online publication date: 1-Jun-2017
- de Boer FJaghoori MLaneve CZavattaro G(2012)Decidability problems for actor systemsProceedings of the 23rd international conference on Concurrency Theory10.1007/978-3-642-32940-1_39(562-577)Online publication date: 4-Sep-2012
- Sirjani MJaghoori M(2011)Ten years of analyzing actorsFormal modeling10.5555/2074591.2074596(20-56)Online publication date: 1-Jan-2011
- Show More Cited By