Author:
Attard Duncan Paul,Francalanza Adrian
Publisher
Springer International Publishing
Reference6 articles.
1. Cassar, I., Francalanza, A.: On synchronous and asynchronous monitor instrumentation for actor-based systems. In: FOCLASA, pp. 54–68 (2014)
2. Cesarini, F., Thompson, S.: Erlang Programming. O’Reilly, Sebastopol (2009)
3. Lecture Notes in Computer Science;A Francalanza,2015
4. Francalanza, A., Seychell, A.: Synthesising correct concurrent runtime monitors. Formal Met. Syst. Des. 46(3), 226–261 (2015)
5. Lecture Notes in Computer Science;J Laurent,2015
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献