Pierpaolo Degano

5 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.

Towards effective preservation of robust safety properties

Matteo Busi and others (2022) · ACM

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)

Call-by-Contract for Service Discovery, Orchestration and Recovery

Massimo Bartoletti and others (2011) · Lecture notes in computer science · Springer Science+Business Media

Planning and verifying service composition

Massimo Bartoletti and others (2009) · Journal of Computer Security · IOS Press