When Can We Trust a Third Party? - A Soundness Perspective

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. When Can We Trust a Third Party? - A Soundness Perspective. T. Petri Nets and Other Models of Concurrency, 8:106-122, 2013. [doi]

Abstract

Abstract is missing.