Travelled to:
1 × Germany
Collaborated with:
P.Azéma F.Vernadat
Talks about:
process (1) algebra (1) permut (1) agent (1)
Person: François Michel
DBLP: Michel:Fran=ccedil=ois
Contributed to:
Wrote 1 papers:
- TACAS-1996-MichelAV #algebra #process
- Permutable Agents in Process Algebras (FM, PA, FV), pp. 187–206.