Computer Science Logic

DOI10.1007/11538363MaRDI QIDQ5394569zbMATH OpenOpenAlexFDO

Authors Tom Vii Murphy, Karl Crary, Robert Harper

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11538363

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Programming Languages and Systems
• Logical Mobility and Locality Types
• Distributed concurrent linear logic programming
• Distributed modal logic
• scientific article; zbMATH DE number 1927564

Cited in

(11)

• A static simulation of dynamic delimited control
• Automatically splitting a two-stage lambda calculus
• Dualized simple type theory
• The Logic of Proofs as a Foundation for Certifying Mobile Computation
• Justification logic as a foundation for certifying mobile computation
• Unifying classical and intuitionistic logics for computational control
• Control effects as a modality
• A Modal Language for the Safety of Mobile Values
• Weak models of distributed computing, with connections to modal logic
• Natural deduction calculi for classical and intuitionistic S5
• Cut-free Gentzen calculus for multimodal CK

Describes a project that uses

Uses Software

• Twelf

This page was built for publication: Computer Science Logic

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