BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × Germany
Collaborated with:
E.Sumii
Talks about:
distribut (2) calculus (2) higher (2) order (2) creation (1) process (1) bisimul (1) sound (1) name (1)

Person: Adrien Piérard

DBLP DBLP: Pi=eacute=rard:Adrien

Contributed to:

LICS 20122012
FOSSACS 20112011

Wrote 2 papers:

LICS-2012-PierardS #calculus #distributed #higher-order
A Higher-Order Distributed Calculus with Name Creation (AP, ES), pp. 531–540.
FoSSaCS-2011-PierardS #bisimulation #calculus #distributed #higher-order #process
Sound Bisimulations for Higher-Order Distributed Process Calculus (AP, ES), pp. 123–137.

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.