Show items per page
Elements: 3
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Rapid prototyping of formally modelled distributed systems Buchs, Didier; Buffo, Mathieu 1999
add to browser selection
COALA - A Formal Language for Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie 1998
add to browser selection
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools Di Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal 1995