1996-11-06
Tackling the RPC-memory specification problem with I/O automata
Publication
Publication
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 specification and verification of memory and remote procedure call components. The problem specification consists of an untimed and a timed part. In this paper, both parts are solved completely.
| Additional Metadata | |
|---|---|
| , , , , , | |
| doi.org/10.1007/BFb0024438 | |
| Lecture Notes in Computer Science | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Romijn, J. (1996, November 6). Tackling the RPC-memory specification problem with I/O automata. Formal Systems Specification: The RPC-Memory Specification Case Study, 1169.https://doi.org/10.1007/BFb0024438 |
|
