default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar Formal Systems Specification 1994
- Manfred Broy, Stephan Merz, Katharina Spies:
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Lecture Notes in Computer Science 1169, Springer 1996, ISBN 3-540-61984-4 - Manfred Broy, Leslie Lamport:
The RPC-Memory Specification Problem - Problem Statement. 1-4 - Manfred Broy, Stephan Merz, Katharina Spies:
The RPC-Memory Case Study: A Synopsis. 5-20 - Martín Abadi, Leslie Lamport, Stephan Merz:
A TLA Solution to the RPC-Memory Specification Problem. 21-66 - Egidio Astesiano, Gianna Reggio:
A Dynamic Specification of the RPC-Memory Problem. 67-108 - Eike Best:
A Memory Module Specification Using Composable High-Level Petri Nets. 109-159 - Johan Blom, Bengt Jonsson:
Constraint Oriented Temporal Logic Specification. 161-182 - Manfred Broy:
A Functional Solution to the RPC-Memory Specification Problem. 183-211 - Jorge Cuéllar, Dieter Barnard, Martin Huber:
A Solution Relying on the Model Checking of Boolean Transition Systems. 213-251 - Reinhard Gotzhein:
Applying a Temporal Logic to the RPC-Memory Specification Problem. 253-273 - Jozef Hooman:
Using PVS for an Assertional Verification of the RPC-Memory Specification Problem. 275-304 - Hardi Hungar:
Specification and Verification Using a Visual Formalism on Top of Temporal Logic. 305-339 - Nils Klarlund, Mogens Nielsen, Kim Sunesen:
A Case Study in Verification Based on Trace Abstractions. 341-373 - Reino Kurki-Suonio:
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem. 375-404 - Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
The Methodology of Modal Constraints. 405-435 - Judi Romijn:
Tackling the RPC-Memory Specification Problem with I/O Automata. 437-475 - Ketil Stølen:
Using Relations to Solve the RPC-Memory Specification Problem. 477-520 - Rob T. Udink, Joost N. Kok:
The RPC-Memory Specification Problem: UNITY+Refinement Calculus. 521-540
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
