Atomic Refinement in Process Description Languages

Pierpaolo Degano, Roberto Gorrieri. Atomic Refinement in Process Description Languages. In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Volume 520 of Lecture Notes in Computer Science, pages 121-130, Springer, 1991.

Abstract

Abstract is missing.