Skip to main content

Axiomatising the logic of distributed computation

Resource type
Thesis
Thesis type
(Thesis) M.Sc.
Date created
1986
Authors/Contributors
Author (aut): Cumming, Steven G
Copyright statement
Copyright is held by the author.
Permissions
The author has not granted permission for the file to be printed nor for the text to be copied and pasted. If you would like a printable copy of this thesis, please contact summit-permissions@sfu.ca.
Scholarly level
Graduate student (Masters)
Subject
Electronic data processing -- Distributed processing.
Modality (Logic)
Language
English
Member of collection
Computing Science Theses
Download file Size
b15289436.pdf 2.67 MB

Views & downloads - as of June 2023

Views: 0
Downloads: 0