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. 1037-1038 2000 conf/ipps/2000w IPDPS Workshops http://dx.doi.org/10.1007/3-540-45591-4_141 db/conf/ipps/ipdpsW2000.html#CansellMT00