User menu

On unifying assumption commitment style proof rules for concurrency

Bibliographic reference Xu, QW ; Cau, A ; Collette, P.. On unifying assumption commitment style proof rules for concurrency.5th International Conference on Theory of Concurrency (CONCUR 94) (UPPSALA(Sweden), Aug 22-25, 1994). In: Lecture Notes in Computer Science, Vol. 836, p. 267-282 (1994)
Permanent URL http://hdl.handle.net/2078.1/62927