Type assignement for mobile objects

MaRDI QIDQ2847776zbMATH OpenFDO

Authors Franco Barbanera, Ugo de'Liguoro

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051412

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1759632
• M^3: mobility types for mobile processes in mobile ambients
• scientific article; zbMATH DE number 1512630
• scientific article; zbMATH DE number 2044504
• Orderly communication in the ambient calculus.

Cited in

(7)

• MOMI: a calculus for mobile mixins
• A Framework for Type Safe Exchange of Mobile Code
• scientific article; zbMATH DE number 2044504 (Why is no real title available?)
• scientific article; zbMATH DE number 1759632 (Why is no real title available?)
• scientific article; zbMATH DE number 2087390 (Why is no real title available?)
• scientific article; zbMATH DE number 1860622 (Why is no real title available?)
• Types for Proofs and Programs

This page was built for publication: Type assignement for mobile objects

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