most citedConcurrency Models with Causality and Events as Psi-calculi

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…