de Bakker, J W. Ed. de Roever, W P. Ed. Rozenberg, G. Ed.
Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989 - Berlin Springer Verlag 1990 - 808 - Lecture notes in computer science ; 00430 .
3540525599
Stepwise Refinement
Distributed Systems
Models
Formalisms
Correctness.
681 LNCS
Stepwise Refinement of Distributed Systems Proceedings, REX Workshop, Mook, The Netherlands, 1989 - Berlin Springer Verlag 1990 - 808 - Lecture notes in computer science ; 00430 .
3540525599
Stepwise Refinement
Distributed Systems
Models
Formalisms
Correctness.
681 LNCS