Mobility types in Coq

DOI10.1007/978-3-540-24849-1_21MaRDI QIDQ5712315zbMATH OpenOpenAlexFDO

Authors Furio Honsell, Ivan Scagnetto

Publication date 23 December 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• M^3: mobility types for mobile processes in mobile ambients
• Types for ambient and process mobility
• Orderly communication in the ambient calculus.
• Type assignement for mobile objects
• Flow-sensitive type systems and the ambient calculus

Cited in

(3)

• Synthesis of distributed mobile programs using monadic types in Coq
• Typing mobility in the Seal calculus
• Logical Mobility and Locality Types

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Mobility types in Coq

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