Context

Context of Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings, J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
Processing Feedback ...