Incremental Specification with Joint Actions: The RPC-Memory Specification Problem

Reino Kurki-Suonio. Incremental Specification with Joint Actions: The RPC-Memory Specification Problem. In Manfred Broy, Stephan Merz, Katharina Spies, editors, Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Volume 1169 of Lecture Notes in Computer Science, pages 375-404, Springer, 1994.

Authors

Reino Kurki-Suonio

This author has not been identified. Look up 'Reino Kurki-Suonio' in Google