Permutable Agents in Process Algebras.

Franois Michel, Pierre Azma, Franois Vernadat

Browse the full TACAS paper archive.