Stepwise Refinement of Distributed Systems
Stepwise Refinement of Distributed Systems

Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Author(s): Jaco W. de Bakker,Willem-Paul de Roever,Grzegorz Rozenberg
Read reviews
Loading Puzzle...
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?