|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
2564866 |
| 003 |
ICU |
| 005 |
20030522205800.0 |
| 008 |
970127s1996 gw 000 0 eng d |
| 020 |
|
|
|a 3540619844
|
| 035 |
|
|
|a (ICU)BID22790705
|
| 035 |
|
|
|a (OCoLC)36216819
|
| 040 |
|
|
|a OSU
|c OSU
|d OrLoB-B
|d OCoLC
|
| 041 |
0 |
|
|a eng
|
| 245 |
0 |
0 |
|a Formal systems specification :
|b the RPC-memory specification case study /
|c Manfred Broy, Stephan Merz, Katharina Spies, eds.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a xxiii, 540 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Lecture notes in computer science
|v 1169
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
0 |
|t The RPC-Memory Specification Problem - Problem Statement /
|r Manfred Broy and Leslie Lamport --
|t The RPC-Memory Case Study: A Synopsis /
|r Manfred Broy, Stephan Merz and Katharina Spies --
|t A TLA Solution to the RPC-Memory Specification Problem /
|r Martin Abadi, Leslie Lamport and Stephan Merz --
|t A Dynamic Specification of the RPC-Memory Problem /
|r Egidio Astesiano and Gianna Reggio --
|t A Memory Module Specification Using Composable High-Level Petri Nets /
|r Eike Best --
|t Constraint Oriented Temporal Logic Specification /
|r Johan Blom and Bengt Jonsson --
|t A Functional Solution to the RPC-Memory Specification Problem /
|r Manfred Broy --
|t A Solution Relying on the Model Checking of Boolean Transition Systems /
|r Jorge Cuellar, Dieter Barnard and Martin Huber --
|t Applying a Temporal Logic to the RPC-Memory Specification Problem /
|r Reinhard Gotzhein --
|t Using PVS for an Assertional Verification of the RPC-Memory Specification Problem /
|r Jozef Hooman --
|t Specification and Verification Using a Visual Formalism on Top of Temporal Logic /
|r Hardi Hungar --
|t A Case Study in Verification Based on Trace Abstractions /
|r Nils Klarlund, Mogens Nielsen and Kim Sunesen --
|t Incremental Specification with Joint Actions: The RPC-Memory Specification Problem /
|r Reino Kurki-Suonio --
|t The Methodology of Modal Constraints /
|r Kim G. Larsen, Bernhard Steffen and Carsten Weise --
|t Tackling the RPC-Memory Specification Problem with I/O Automata /
|r Judi Romijn --
|t Using Relations on Streams to Solve the RPC-Memory Specification Problem /
|r Ketil Stolen --
|t The RPC-Memory Specification Problem: UNITY + Refinement Calculus /
|r Rob T. Udink and Joost N. Kok.
|
| 650 |
|
0 |
|a Electronic data processing
|x Distributed processing.
|0 http://id.loc.gov/authorities/subjects/sh85042293
|
| 650 |
|
0 |
|a Computer networks.
|0 http://id.loc.gov/authorities/subjects/sh85029513
|
| 650 |
|
7 |
|a Computer networks.
|2 fast
|0 http://id.worldcat.org/fast/fst00872297
|
| 650 |
|
7 |
|a Electronic data processing
|x Distributed processing.
|2 fast
|0 http://id.worldcat.org/fast/fst00906987
|
| 650 |
|
7 |
|a Memory management (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst01015971
|
| 700 |
1 |
|
|a Broy, M.,
|d 1949-
|0 http://id.loc.gov/authorities/names/n79060851
|1 http://viaf.org/viaf/91721734
|
| 700 |
1 |
|
|a Merz, Stephan.
|0 http://id.loc.gov/authorities/names/n97001201
|1 http://viaf.org/viaf/12602569
|
| 700 |
1 |
|
|a Spies, Katharina.
|0 http://id.loc.gov/authorities/names/n97001207
|1 http://viaf.org/viaf/4207773
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 4b136761-527b-522a-952f-d292c7f6d0ed
|s 8b73b72b-46b3-5bcc-a3c4-13dcfbfa923c
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.9.D5F66 1996
|l ASR
|c ASR-SciASR
|i 3005028
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.9.D5F66 1996
|l ASR
|c ASR-SciASR
|e CRERAR
|b 46163762
|i 4745660
|
