A proof system for communicating sequential processes
Publication date
1979
Authors
Apt, K.R.
de Roever, W-P
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Apt, K R & de Roever, W-P 1979, A proof system for communicating sequential processes. vol. 79-08, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-79-08.html >