Formal stystems specification. The RPC-memory specification case study

zbMATH Open1060.68504MaRDI QIDQ1126523FDOQ1126523

Authors:

Publication date: 10 December 1996

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Recommendations

• Formal Specification of Concurrent Systems: A Structured Approach
• scientific article; zbMATH DE number 1949622
• Towards formal specification of a distributed computing system
• Formal memory models for the verification of low-level operating-system code
• Towards formally specifying and verifying transactional memory
• Special issue: Formal specifications of computer-based systems
• On formal specification of software components and systems

Mathematics Subject Classification ID

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)

Cited In (5)

• Action systems in incremental and aspect-oriented modeling
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Model checking a cache coherence protocol of a Java DSM implementation
• M-net Calculus Based Semantics for Triggers
• Translation templates to support strategy development in PVS

This page was built for publication: Formal stystems specification. The RPC-memory specification case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1126523)