A proof system for Brinch Hansen's distributed processes
Publication date
1981
Authors
Roncken, M.
de Roever, W-P
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen, Ordered by external client
Citation
Roncken, M & de Roever, W-P 1981, A proof system for Brinch Hansen's distributed processes. vol. 81-05, RUU-CS edn, Unknown Publisher, Utrecht. < http://www.cs.uu.nl/research/techreps/RUU-CS-81-05.html >