Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto Debits and credits in Petri nets and linear logic. (English) Zbl 1321.68356 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 135-159 (2015). MSC: 68Q85 03B70 03F52 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Lect. Notes Comput. Sci. 9200, 135--159 (2015; Zbl 1321.68356) Full Text: DOI Link
Bartoletti, Massimo; Cimoli, Tiziana; Di Giamberardino, Paolo; Zunino, Roberto Contract agreements via logic. (English) Zbl 1464.68226 Carbone, Marco (ed.) et al., Proceedings of the 6th interaction and concurrency experience workshop, ICE’13, Florence, Italy, June 6, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 131, 5-19 (2013). MSC: 68Q85 03B70 91A80 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 131, 5--19 (2013; Zbl 1464.68226) Full Text: arXiv Link