Logical Mobility and Locality Types

DOI10.1007/11506676_5zbMATH Open1134.68350OpenAlexW1826753772MaRDI QIDQ5458795FDOQ5458795

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

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

Mathematics Subject Classification ID

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

Cited In (7)

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

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)