Symmetric action calculi

Lucian Wischik and Philippa Gardner. Abstract at EXPRESS'99.


There exist many different calculi for rescribing interactive and sequential behaviour. The goal of Milner's action calculi is to unify these calculi at a syntactic and operation level. We introduce a symmetric variant which extends the reach of action calculi to cover for example the fusion calculus and Yoshida's process graphs These symmetric action calculi conservatively extend the reflexive action calculi and have close links to category theory.

Note: the extended abstract was accepted for the Express'99 conference, and delivered as a talk, but due to the incompetence of the first author (me) the final manuscript was never delivered for publication in the proceedings. Sorry!

  author =    "Lucian Wischik and Philippa Gardner",
  title  =    "Symmetric Action Calculi (Abstract)",
  booktitle = "EXPRESS '99",
  year   =    1999,
  editor =    "Ilaria Castellani and Bj{\"o}rn Victor",
  volume =    27,
  series =    "ENTCS",
  publisher = "Elsevier Science Publishers",
  url    =    "",


  • Abstract in PDF format, 73k, 4 pages.
  • Unpublished full version in PDF format, 250k, 20 pages.
  • A graphical proof tool for Windows, 308k.
  • A Windows screen saver based on the paper, 310k.
  • My crummy first-year PhD report (PDF, 25 pages, 308k) - the first inklings of explicit fusions