Author:
Khamespanah Ehsan,Mrvaljevic Pavle,Fattouh Anas,Sirjani Marjan
Publisher
Springer International Publishing
Reference21 articles.
1. Gul A. Agha. ACTORS - A Model of Concurrent Computation in Distributed Systems. MIT Press.
2. Gul Agha and Carl Hewitt. “Concurrent programming using actors”. In: (1987), pp. 37–53.
3. Akka. Typesafe, Inc. Akka. 2009.
4. Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, and Marjan Sirjani. “Safe Design of Flow Management Systems Using Rebeca”. In: Journal of Information Processing 28 (2020), pp. 588– 598. https://doi.org/10.2197/ipsjjip.28.588.
5. Dennis Guck, Tingting Han, Joost-Pieter Katoen, and Martin R. Neuhäußer. “Quantitative timed analysis of interactive Markov chains”. In: 4th international conference on NASA Formal Methods. 2012, pp. 8–23.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Integrated Simulation Framework for Construction Site Operations;2022 IEEE 1st Industrial Electronics Society Annual On-Line Conference (ONCON);2022-12-09