×

Found 2 Documents (Results 1–2)

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
Full Text: DOI Link

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
Full Text: arXiv Link

Filter Results by …

Year of Publication

Main Field