|
Showing 1 - 1 of
1 matches in All Departments
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
Gran Turismo
David Harbour, Orlando Bloom, …
DVD
(1)
R204
Discovery Miles 2 040
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.