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
Subjects: Parallel processing (Electronic computers); Automatic theorem proving.
Notes: Bibliography, p.