TACAS 1996Permutable Agents in Process AlgebrasFrançois Michel, Pierre Azéma, François VernadatDOI 10.1007/3-540-61042-1_45dblpBibTeXNo abstract available.