Author:
Bartoletti Massimo,Degano Pierpaolo,Di Giamberardino Paolo,Zunino Roberto
Publisher
Springer International Publishing
Reference22 articles.
1. Hobbes, T.: The Leviathan, chap. XIV (1651)
2. Lecture Notes in Computer Science;M Viswanathan,2001
3. Lecture Notes in Computer Science;P Maier,2003
4. Bartoletti, M., Zunino, R.: A calculus of contracting processes. In: Proceedings of the LICS, pp. 332–341 (2010). doi:
10.1109/LICS.2010.25
5. Bartoletti, M., Cimoli, T., Pinna, G.M., Zunino, R.: Circular causality in event structures. Fundamenta Informaticae 134(3–4), 219–259 (2014). doi:
10.3233/FI-2014-1101
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automata for Analysing Service Contracts;Logical Methods in Computer Science;2017-04-27