Logical Mobility and Locality Types

DOI10.1007/11506676_5MaRDI QIDQ5458795zbMATH OpenOpenAlexFDO

Authors Jonathan Moody

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Linear types and locality
• Locality and interleaving semantics in calculi for mobile processes
• Static Analysis
• Types for ambient and process mobility
• Logical operations with localized structures
• scientific article; zbMATH DE number 1479626
• Types for Proofs and Programs
• scientific article; zbMATH DE number 1110847

Cited in

(7)

• A type theory for memory allocation and data layout
• The Logic of Proofs as a Foundation for Certifying Mobile Computation
• Justification logic as a foundation for certifying mobile computation
• Selective Memoization with Box Types
• A Modal Language for the Safety of Mobile Values
• Computer Science Logic
• A dual-context sequent calculus for the constructive modal logic S4

This page was built for publication: Logical Mobility and Locality Types

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