Foundations of a Theory of Specification for Distributed Systems
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149612 |
| _version_ | 1826203540806172672 |
|---|---|
| author | Stark, Eugene W. |
| author2 | Lynch, Nancy A. |
| author_facet | Lynch, Nancy A. Stark, Eugene W. |
| author_sort | Stark, Eugene W. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T12:38:38Z |
| id | mit-1721.1/149612 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:38:38Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1496122023-03-30T03:44:16Z Foundations of a Theory of Specification for Distributed Systems Stark, Eugene W. Lynch, Nancy A. 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. 2023-03-29T15:11:29Z 2023-03-29T15:11:29Z 1984-08 https://hdl.handle.net/1721.1/149612 13550536 MIT-LCS-TR-342 application/pdf |
| spellingShingle | Stark, Eugene W. Foundations of a Theory of Specification for Distributed Systems |
| title | Foundations of a Theory of Specification for Distributed Systems |
| title_full | Foundations of a Theory of Specification for Distributed Systems |
| title_fullStr | Foundations of a Theory of Specification for Distributed Systems |
| title_full_unstemmed | Foundations of a Theory of Specification for Distributed Systems |
| title_short | Foundations of a Theory of Specification for Distributed Systems |
| title_sort | foundations of a theory of specification for distributed systems |
| url | https://hdl.handle.net/1721.1/149612 |
| work_keys_str_mv | AT starkeugenew foundationsofatheoryofspecificationfordistributedsystems |