Verifiable and Executable Logic Specifications of Concurrent Objects in L<sub>pi</sub>.

Luís Caires Luís Monteiro Verifiable and Executable Logic Specifications of Concurrent Objects in L<sub>pi</sub>. 42-56 http://dx.doi.org/10.1007/BFb0053562 1998 conf/esop/1998 ESOP db/conf/esop/esop98.html#CairesM98