Foundations of a Theory of Specification for Distributed Systems
Name
MIT-LCS-TR-342.pdf
Size
8.44 MB
Format
Adobe PDF
Checksum (MD5)
29e8c822f9417313b61d21db1dab0f8d
Author(s)
Stark, Eugene W.
Advisor(s)
Lynch, Nancy A.
Date Issued
August 1984
Series/Report no.
MIT-LCS-TR-342
Abstract
This thesis investigates a particular approach, called state-transition specification, to the problem of describing the behavior of modules in a distributed or concurrent computer system. A state-transition specification consists of: (1) a state machine, which incorporates the safety or invariance properties of the module, and (2) validity conditions on the computations of the machine, which capture the desired liveness or eventuality properties.
Persistent DSpace Link
