file.pdf (1.2 MB)
0/0

On the axiomatic treatment of concurrency

Download (1.2 MB)
journal contribution
posted on 01.01.2004 by S. D(Stephen D.) Brookes
Computer Science Department

History

Publisher Statement

All Rights Reserved

Date

01/01/2004

Exports

Exports