Declarative event based models of concurrency and refinement in psi-calculi

HÃ¥kon Normann, Christian Johansen, Thomas T. Hildebrandt. Declarative event based models of concurrency and refinement in psi-calculi. Journal of Logic and Algebraic Programming, 85(3):368-398, 2016. [doi]

Abstract

Abstract is missing.