Search

• < Previous
• 1
• Next >

---

A Sorted Semantic Framework for Applied Process Calculi

Johannes Borgström ; Ramūnas Gutkovas ; Joachim Parrow ; Björn Victor ; Johannes Åman Pohjola.

Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are&nbsp;[&hellip;]

---

Psi-Calculi Revisited: Connectivity and Compositionality

Johannes Åman Pohjola.

Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Mechanised proofs of standard algebraic and congruence properties of bisimilarity apply to all calculi within the&nbsp;[&hellip;]

---