Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (lecture notes in computer science ; v.321)
Zwiers, J
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (lecture notes in computer science ; v.321) - - Berlin Springer-Verlag, 1989 - vi,272 p. 24 cm - .
3-540-50845-71
Programming languages(Electronic Computers)
681.3.06 Zwi
Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship (lecture notes in computer science ; v.321) - - Berlin Springer-Verlag, 1989 - vi,272 p. 24 cm - .
3-540-50845-71
Programming languages(Electronic Computers)
681.3.06 Zwi