Correspondence Assertions for Process Synchronization in Concurrent Communications
Eduardo Bonelli, Adriana Compagnoni, Elsa GunterVolume:
97
Year:
2004
Language:
english
Pages:
21
DOI:
10.1016/j.entcs.2004.04.036
File:
PDF, 315 KB
english, 2004