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

• Authors:

• Dominique Cansell;Dominique Méry;Christophe Tabacznyj

• Affiliations:

• -;-;-

• Venue:
• IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
• Year:
• 2000