Peter E. Lauer;Piero R. Torrigiani;Raymond R. Devillers
-;-;-
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices
Peter Lauer and COSY
Fundamenta Informaticae