Stepwise refinement of distributed systems models,formalisms,correctness : proceedings - Bakker J W de; REX Workshop on Stepwise Refinement of Distributed Systems( 1989 : Netherlands ); REX Workshop on Stepwise Refinement of Distributed Systems , Netherlands 1989 (Berlin Springer Verlag, 1989)
Keywords: Computer science; Distributed processing