My work with Håkon Normann and Thomas Hildebrandt was published in Elsevier’s Journal of Logical and Algebraic Methods in Programming and became the 5th most downloaded paper of 2016.
The paper is entitled “Declarative event based models of concurrency and refinement in psi-calculi”.