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: Baldamus:Michael
Contributed to:
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.