2 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 1 cited
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…
cs.LO2014★ 2 cited
Higher Dimensional Modal Logic
Cristian Prisacariu
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P…
cs.CR2014★ 2 cited
Actor Network Procedures as Psi-calculi for Security Ceremonies
Cristian Prisacariu
The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties…