Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship /

Bibliographic Details

Main Author:	Zwiers, J. (Job), 1956-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	Lecture notes in computer science ; 321.
Subjects:	Parallel processing (Electronic computers) Automatic theorem proving.