Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, May 29-June 2, l989 / edited by J.W. de Bakker, W.P. de Roever and G. Rozenberg
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, May 29-June 2, l989 / edited by J.W. de Bakker, W.P. de Roever and G. Rozenberg - - Berlin Springer-Verlag 1990 - x,808 p. 24 cm - Lecture notes in computer science ; v.430 .
3-540-52559-90
Programming languages (Electronic computers)
Electronic data processing-Distributed processing
681.327.8 Ste:89