Foundations of a Theory of Specification for Distributed Systems
| dc.contributor.advisor | Lynch, Nancy A. | en_US |
| dc.contributor.author | Stark, Eugene W. | en_US |
| dc.date.accessioned | 2023-03-29T15:11:29Z | |
| dc.date.available | 2023-03-29T15:11:29Z | |
| dc.date.issued | 1984-08 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149612 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-342 | |
| dc.title | Foundations of a Theory of Specification for Distributed Systems | en_US |
| dc.identifier.oclc | 13550536 |
