@inproceedings{4f8081262c874fadbce9cf5f4bf0f7ee,
title = "Concurrency Models with Causality and Events as Psi-calculi",
abstract = "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. Psi-calculi have an interleaving operational semantics, with a strong foundation on the theory of nominal sets and process algebras. Much of the expressive power of psi-calculi comes from their logical part, i.e., assertions, conditions, and entailment, which are left quite open thus accommodating a wide range of logics. We are interested in how this expressiveness can deal with event-based models of concurrency. We thus take the popular prime event structures model and give an encoding into an instance of psi-calculi. We also take the recent and expressive model of Dynamic Condition Response Graphs (in which event structures are strictly included) and give an encoding into another corresponding instance of psi-calculi. The encodings that we achieve look rather natural and intuitive. Additional results about these encodings give us more confidence in their correctness.",
author = "Thomas Hildebrandt and Cristian Prisacariu and H{\aa}kon Norman",
year = "2014",
month = oct,
day = "26",
doi = "10.4204/EPTCS.166.3",
language = "Dansk",
volume = "166",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "4--20",
editor = "Ivan Lanese and Alberto Lluch-Lafuente and Ana Sokolova and Vieira, {Hugo Torres}",
booktitle = "Proceedings 7th Interaction and Concurrency Experience",
}