An edition of Compositionality, concurrency, and partial correctness (1989)
Compositionality, concurrency, and partial correctness
proof theories for networks of processes and their relationship
By J. Zwiers
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1989
Publisher
Springer-Verlag
Language
eng
Pages
272
RelatedBooks