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

  • Authors:
  • Reino Kurki-Suonio

  • Affiliations:
  • -

  • Venue:
  • Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract