Tackling the RPC-Memory Specification Problem with I/O Automata

  title={Tackling the RPC-Memory Specification Problem with I/O Automata},
  author={Judi Romijn},
  booktitle={Formal Systems Specification},
An I/O automata solution to the problem posed in 1994 by Broy & Lamport at the Dagstuhl Workshop on Reactive Systems is presented. The problem calls for speciication and veriication of memory and remote procedure call components. The problem speciication consists of an untimed and a timed part. In this paper, both parts are solved completely. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 21 references

A dynamic speci cation of the RPC-Memory prob lem

  • E. Astesiano, G. Reggio
  • 1996
1 Excerpt

A memory module speci cation using composable high level nets, 1996

  • E. Best
  • 1996
1 Excerpt

Applying a temporal logic to the RPC-Memory speci cation prob lem

  • R. Gotzhein
  • 1996
1 Excerpt

Architecture oriented temporal logic

  • J. Blom, B. Jonsson
  • speci cation,
  • 1996
1 Excerpt

Distributed Algorithms

  • N. A. Lynch
  • 1996
1 Excerpt

Similar Papers

Loading similar papers…