On Decomposing and Refining Specifications of Distributed Systems

@inproceedings{Jonsson1989OnDA,
  title={On Decomposing and Refining Specifications of Distributed Systems},
  author={Bengt Jonsson},
  booktitle={REX Workshop},
  year={1989}
}
This paper is concerned with the use of transition systems with fairness constraints for specifying message-passing distributed systems. A distributed system is specified through the sequence of messages that can be sent and received in an execution of the system. We use fair transition systems to specify such sequences in analogy with the way finite automata are used as acceptors of finite strings. Safety properties are specified by the set of transitions of the transition system. Liveness… CONTINUE READING
Highly Cited
This paper has 40 citations. REVIEW CITATIONS