Travelled to:1 × Japan
2 × Italy
Collaborated with:D.Lugiez R.Treinen J.Dreier C.Ene Y.Lakhnech S.Delaune
Talks about:homomorph (2) decomposit (1) protocol (1) calculus (1) process (1) presenc (1) analysi (1) theori (1) symbol (1) intrud (1)
Person: Pascal Lafourcade
DBLP: Lafourcade:Pascal
Contributed to:
2013
2006
2005Wrote 3 papers:
- FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus
- On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
- ICALP-v2-2006-DelauneLLT #analysis #morphism #protocol
- Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (SD, PL, DL, RT), pp. 132–143.
- RTA-2005-LafourcadeLT #deduction #equation #morphism
- Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.