Concurrency Models with Causality and Events as Psi-calculi

Håkon Normann, Cristian Prisacariu, Thomas Hildebrandt

Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus, or the cryptographic spi-calculus and applied-pi. P…