scientific article; zbMATH DE number 2163047

MaRDI QIDQ4673434zbMATH OpenFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese

Publication date 29 April 2005

zbMATH Keywords

local type checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 1512630
• M^3: mobility types for mobile processes in mobile ambients
• Types for ambient and process mobility
• Programming Languages and Systems

Cited in

(14)

• Dynamic management of capabilities in a network aware coordination language
• Typing evolving ambients
• A typed encoding of boxed into safe ambients
• scientific article; zbMATH DE number 1696439 (Why is no real title available?)
• Two Session Typing Systems for Higher-Order Mobile Processes
• scientific article; zbMATH DE number 1927570 (Why is no real title available?)
• scientific article; zbMATH DE number 1512630 (Why is no real title available?)
• scientific article; zbMATH DE number 1759481 (Why is no real title available?)
• scientific article; zbMATH DE number 2163048 (Why is no real title available?)
• Trustworthy Global Computing
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Access control in mobile ambient calculi: a comparative view
• Role-based access control for boxed ambients

This page was built for publication:

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