papers
Publications (6)
cs.LO2016
A Sorted Semantic Framework for Applied Process Calculi
Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow +2
cs.LO2011
Psi-calculi: a framework for mobile processes with nominal data and logic
Jesper Bengtson, Magnus Johansson, Joachim Parrow +1
cs.LO2016
The Largest Respectful Function
Joachim Parrow, Tjark Weber
cs.LO2014
Priorities Without Priorities: Representing Preemption in Psi-Calculi
Johannes à man Pohjola, Joachim Parrow
cs.LO2010
A Fully Abstract Symbolic Semantics for Psi-Calculi
Magnus Johansson, Björn Victor, Joachim Parrow
cs.LO2009
Formalising the pi-calculus using nominal logic
Jesper Bengtson, Joachim Parrow