Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification

Dominique Cansell, Dominique Méry, Christophe Tabacznyj. Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 1037-1038, Springer, 2000. [doi]

Abstract

Abstract is missing.