François Michel Pierre Azéma François Vernadat Permutable Agents in Process Algebras. 187-206 1996 conf/tacas/1996 TACAS db/conf/tacas/tacas96.html#MichelAV96