Formal systems specification: the rpc-memory specification case study
Auteur :
Broy, Manfred
ISBN :
9783540619840
Date de publication :
6 nov. 1996
Dimensions :
15,6 x 23,4 x 2,9 cm
Poids :
792 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.