Research Catalog

Title

Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.

Publication

Berlin ; New York : Springer, [1996], ©1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Broy, M., 1949-
• Merz, Stephan.
• Spies, Katharina.

Description

xxiii, 540 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 1169

Uniform Title

Lecture notes in computer science ; 1169.

Subject

• Electronic data processing > Distributed processing
• Computer networks

Bibliography (note)

• Includes bibliographical references and index.

Contents

• The RPC-Memory Specification Problem - Problem Statement / Manfred Broy and Leslie Lamport -- The RPC-Memory Case Study: A Synopsis / Manfred Broy, Stephan Merz and Katharina Spies -- A TLA Solution to the RPC-Memory Specification Problem / Martin Abadi, Leslie Lamport and Stephan Merz -- A Dynamic Specification of the RPC-Memory Problem / Egidio Astesiano and Gianna Reggio -- A Memory Module Specification Using Composable High-Level Petri Nets / Eike Best -- Constraint Oriented Temporal Logic Specification / Johan Blom and Bengt Jonsson -- A Functional Solution to the RPC-Memory Specification Problem / Manfred Broy -- A Solution Relying on the Model Checking of Boolean Transition Systems / Jorge Cuellar, Dieter Barnard and Martin Huber -- Applying a Temporal Logic to the RPC-Memory Specification Problem / Reinhard Gotzhein -- Using PVS for an Assertional Verification of the RPC-Memory Specification Problem / Jozef Hooman --
• Specification and Verification Using a Visual Formalism on Top of Temporal Logic / Hardi Hungar -- A Case Study in Verification Based on Trace Abstractions / Nils Klarlund, Mogens Nielsen and Kim Sunesen -- Incremental Specification with Joint Actions: The RPC-Memory Specification Problem / Reino Kurki-Suonio -- The Methodology of Modal Constraints / Kim G. Larsen, Bernhard Steffen and Carsten Weise -- Tackling the RPC-Memory Specification Problem with I/O Automata / Judi Romijn -- Using Relations on Streams to Solve the RPC-Memory Specification Problem / Ketil Stolen -- The RPC-Memory Specification Problem: UNITY + Refinement Calculus / Rob T. Udink and Joost N. Kok.

ISBN

3540619844

OCLC

ocm36216819

Owning Institutions

Columbia University Libraries