The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
Formal Systems Specification
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The problem calls for the specification and verification of a series of components. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
reliable memory component, rpc component, boolean transition systems, quiescent execution, procedure call component, modal transition systems, conditional refinement, successful read operation, weak refinement, input resistant, main conjuncts, symbolic timing diagrams, refines return, locally controlled actions, data flow node, call pid, multiset sum, memory automaton, trace abstractions, contains infinitely many occurrences, timed streams, memory clerk, modal specifications, untimed specification, conjunct states Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Leslie Lamport, Lecture Notes, Stephan Merz, Manfred Broy, Timed Modal Specifications, Calls Fig, Dieter Barnard, Martin Huber, Springer Verlag, Mem Vals, Implementation Impl, Initial Conditions Initially, Germany Abstract, Isolde Wildgruber, Min Timer, Mpc Initial, Prentice Hall, Principles of Distributed Computing, Program Memory, Read Procs, Slot Type New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
The problem calls for the specification and verification of a series of components. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
reliable memory component, rpc component, boolean transition systems, quiescent execution, procedure call component, modal transition systems, conditional refinement, successful read operation, weak refinement, input resistant, main conjuncts, symbolic timing diagrams, refines return, locally controlled actions, data flow node, call pid, multiset sum, memory automaton, trace abstractions, contains infinitely many occurrences, timed streams, memory clerk, modal specifications, untimed specification, conjunct states Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Leslie Lamport, Lecture Notes, Stephan Merz, Manfred Broy, Timed Modal Specifications, Calls Fig, Dieter Barnard, Martin Huber, Springer Verlag, Mem Vals, Implementation Impl, Initial Conditions Initially, Germany Abstract, Isolde Wildgruber, Min Timer, Mpc Initial, Prentice Hall, Principles of Distributed Computing, Program Memory, Read Procs, Slot Type New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 20
books:
See all 20 books this book cites
- Hybrid Systems (Lecture Notes in Computer Science) by Robert L. Grossman on page 64, page 404, and page 470
- Communication and Concurrency (Prentice Hall International Series in Computer Science) by Robin Milner on page 147, page 243, and page 435
- Model Checking by Edmund M. Clarke Jr. on page 338
- Programming Concepts, Methods and Calculi by Ifip Tc2 in Back Matter
- Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings (Lecture Notes in Computer Science) by Agostino Cortesi in Back Matter
See all 20 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Technology > Computer Science > Software Engineering > Information Systems
- Books > Computers & Technology > Hardware > Internet & Networking
- Books > Computers & Technology > Hardware > Microprocessors & System Design
- Books > Computers & Technology > Networking > Networks, Protocols & APIs
- Books > Computers & Technology > Programming > Algorithms > Memory Management
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Networking
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > Science & Math > Mathematics
