Formal stystems specification. The RPC-memory specification case study

MaRDI QIDQ1126523zbMATH OpenFDO

Authors

Publication date 10 December 1996

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

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)

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

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)