TY  - RPRT
TI  - Concurrency Models with Causality and Events as Psi-calculi
AU  - Håkon Normann
AU  - Cristian Prisacariu
AU  - Thomas Hildebrandt
PY  - 2014
DO  - 10.4204/eptcs.166.3
UR  - https://arxiv.org/abs/1410.7466
ID  - 1410.7466
ER  -