• Published

  Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002.

  Research output: Book/anthology/dissertation/report › Anthology › Research

• Published

  A Calculus of Communicating Systems with Label Passing – Ten Years After

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research

• Published

  Completeness Results for Linear Logic on Petri Nets

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (16) »

• European Association for Theoretical Computer Science (EATCS) (External organisation)

  Activity: Membership types › Membership in board of company or public organisation

• Technical University of Munic

  Activity: Visiting an external institution types › Visiting an external academic institution

View all (2) »