Formal stystems specification. The RPC-memory specification case study
From MaRDI portal
Publication:1126523
zbMath1060.68504MaRDI QIDQ1126523
No author found.
Publication date: 10 December 1996
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Model checking a cache coherence protocol of a Java DSM implementation ⋮ Action systems in incremental and aspect-oriented modeling ⋮ A high-level modular definition of the semantics of C\(_{\sharp}\) ⋮ Translation Templates to Support Strategy Development in PVS
This page was built for publication: Formal stystems specification. The RPC-memory specification case study
