Higher-order psi-calculi

DOI10.1017/S0960129513000170MaRDI QIDQ5740353zbMATH OpenFDO

Authors Joachim Parrow, Johannes Borgström, Palle Raabjerg, Johannes Åman Pohjola

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 7288621
• Psi-calculi in Isabelle
• Psi-calculi in Isabelle
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Priorities without priorities: representing preemption in psi-calculi

Cites work

• Asynchronous process calculi: The first- and higher-order paradigms
• Bisimulation for higher-order process calculi
• Nominal logic, a first order theory of names and binding
• Nominal techniques in Isabelle/HOL
• On the bisimulation proof method
• Plain CHOCS. A second generation calculus for higher order processes

Cited in

(15)

• A generic type system for higher-order \(\Psi\)-calculi
• A case study in programming coinductive proofs: Howe's method
• Psi-calculi in Isabelle
• \(\mathrm{HO}\pi\) in Coq
• scientific article; zbMATH DE number 7288621 (Why is no real title available?)
• A sorted semantic framework for applied process calculi (extended abstract)
• A generic type system for higher-order \(\Psi\)-calculi
• Psi-calculi revisited: connectivity and compositionality
• HOCore in Coq
• Modeling and efficient verification of wireless ad hoc networks
• Psi-calculi in Isabelle
• Encodability and separation for a reflective higher-order calculus
• scientific article; zbMATH DE number 1555188 (Why is no real title available?)
• Priorities without priorities: representing preemption in psi-calculi
• The reflective higher-order calculus: encodability, typability and separation

This page was built for publication: Higher-order psi-calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740353)