Compositionality, concurrency, and partial correctness
Subtitle: proof theories for networks of processes and their relationship
By: J. Zwiers.
Series: Lecture notes in computer science ;; 321
Publisher: Springer-Verlag
Published: 1989
Place of publication: Berlin; New York
Language: eng
Number of pages: 272
Subjects: Parallel processing (Electronic computers); Automatic theorem proving.
Notes: Bibliography: p. 266-272.