"Zero-safe net models for transactions in Linda."

Roberto Bruni, Ugo Montanari (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics