Splitting mobility and communication in boxed ambients

zbMATH Open1272.68246MaRDI QIDQ2851706FDOQ2851706

Authors: Pablo Garralda, Adriana Compagnoni 

Publication date: 2 October 2013

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

Recommendations

• Communication and mobility control in boxed ambients
• Boxed ambients with communication interfaces
• Mathematical Foundations of Computer Science 2004
• On an open problem of Amadio and Curien: The finite antichain condition
• An overview of boxed ambients (abstract)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10)

Cited In (3)

• Objects and session types
• Title not available (Why is that?)
• Role-based access control for boxed ambients

This page was built for publication: Splitting mobility and communication in boxed ambients

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