A reflective higher-order calculus

MaRDI QIDQ2863844zbMATH OpenFDO

Authors L. G. Meredith, Matthias Radestock

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051893?np=y

zbMATH Keywords

concurrencymessage-passingprocess calculusreflection

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1082078
• From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
• A theory of higher order communicating systems
• Trustworthy Global Computing

Cited in

(8)

• On the relative expressiveness of higher-order session processes
• On the relative expressiveness of higher-order session processes
• Trustworthy Global Computing
• The reflective higher-order calculus: encodability, typability and separation
• A generic type system for higher-order \(\Psi\)-calculi
• Native type theory
• Encodability and separation for a reflective higher-order calculus
• A generic type system for higher-order -calculi

This page was built for publication: A reflective higher-order calculus

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