REX project, Research and Education in Concurrent Systems

1 réponse.


Bakker, J.W. de (ed) & Roever, W.P. de (ed) & Rozenberg, G. (ed)

REX project, Research and Education in Concurrent Systems , 1989

Stepwise refinement of distributed systems. Models, formalisms, correctness. REX workshop, Mook, the Netherlands, may 29-june 2, 1989. Proceedings. - Springer Verlag, 1990. - (Lecture Notes in Computer Science; 430).