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 × Finland
1 × Portugal
Collaborated with:
J.Parrow B.Victor J.Dingel
Talks about:
calculus (3) abstract (2) character (1) translat (1) process (1) preserv (1) bisimul (1) higher (1) extend (1) order (1)

Person: Michael Baldamus

DBLP DBLP: Baldamus:Michael

Contributed to:

ICALP 20052005
LICS 20042004
TAPSOFT CAAP/FASE 19971997

Wrote 3 papers:

ICALP-2005-BaldamusPV #encoding #π-calculus
A Fully Abstract Encoding of the π-Calculus with Data Terms (MB, JP, BV), pp. 1202–1213.
LICS-2004-BaldamusPV #π-calculus
Sπ Calculus Translated to ?--Calculus Preserving May-Tests (MB, JP, BV), pp. 22–31.
TAPSOFT-1997-BaldamusD #bisimulation #higher-order #process
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract) (MB, JD), pp. 285–296.

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.