Massimo Bartoletti
15 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Contracts as games on event structures
Massimo Bartoletti and others (2016) · Elsevier BV
Compliance in Behavioural Contracts: A Brief Survey
Massimo Bartoletti and others (2015) · Springer International Publishing
Debits and Credits in Petri Nets and Linear Logic
Massimo Bartoletti and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Model checking usage policies
Massimo Bartoletti and others (2015) · Cambridge University Press (CUP)
Models of Circular Causality
Massimo Bartoletti and others (2015) · Lecture notes in computer science · Springer Science+Business Media
Contract agreements via logic
Massimo Bartoletti and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
Lending Petri Nets and Contracts
Massimo Bartoletti and others (2013) · Springer Berlin Heidelberg
A Theory of Agreements and Protection
Massimo Bartoletti and others (2013) · Lecture notes in computer science · Springer Science+Business Media
Contract-Oriented Computing in CO2
Massimo Bartoletti and others (2012) · Scientific Annals of Computer Science
Call-by-Contract for Service Discovery, Orchestration and Recovery
Massimo Bartoletti and others (2011) · Lecture notes in computer science · Springer Science+Business Media
A Calculus of Contracting Processes
Massimo Bartoletti and others (2010) · IEEE
Primitives for Contract-based Synchronization
Massimo Bartoletti and others (2010) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association
A logic for contracts
Massimo Bartoletti and others (2009) · ICTCS
Planning and verifying service composition
Massimo Bartoletti and others (2009) · Journal of Computer Security · IOS Press
LocUsT: a tool for checking usage policies
Massimo Bartoletti and others (2008) · Technical Report TR-08-07, Dip. Informatica, Univ. Pisa