Krzysztof R. Apt, Nissim Francez & Shmuel Katz (1988):
Appraising fairness in languages for distributed programming.
Distributed Computing 2,
pp. 226–241.
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008):
Global Progress in Dynamically Interleaved Multiparty Sessions.
In: Franck van Breugel & Marsha Chechik: CONCUR,
Lecture Notes in Computer Science 5201.
Springer,
pp. 418–433.
Available at http://dx.doi.org/10.1007/978-3-540-85361-9_33.
Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: Paul Gastin & François Laroussinie: CONCUR,
Lecture Notes in Computer Science 6269.
Springer,
pp. 162–176,
doi:10.1007/978-3-642-15375-4_12.
Available at http://dx.doi.org/10.1007/978-3-642-15375-4_12.
Maria Grazia Buscemi & Ugo Montanari (2007):
CC-Pi: a constraint-based language for specifying service level agreements.
In: Proceedings of the 16th European conference on Programming,
ESOP'07.
Springer-Verlag,
Berlin, Heidelberg,
pp. 18–32,
doi:10.1007/978-3-540-71316-6.
Available at http://portal.acm.org/citation.cfm?id=1762174.1762179.