Modular Description and Verification of Concurrent Objects.

Jean Paul Bahsoun Stephan Merz Corinne Servieres Modular Description and Verification of Concurrent Objects. 168-186 1995 conf/obpdc/1995 OBPDC db/conf/obpdc/obpdc1995.html#BahsounMS95