BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lafourcade:Pascal

Contributed to:

FOSSACS 20132013
ICALP (2) 20062006
RTA 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.