Programming Languages and Systems

DOI10.1007/B96702zbMATH Open1126.68503OpenAlexW2964738244MaRDI QIDQ5308698FDOQ5308698

Authors: Francesca Levi, Chiara Bodei 

Publication date: 28 September 2007

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

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

Recommendations

• scientific article; zbMATH DE number 1696438
• A typed encoding of boxed into safe ambients
• scientific article; zbMATH DE number 1860626
• Communication and mobility control in boxed ambients
• Foundations of Security Analysis and Design II

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Theoretical Computer Science
• Title not available (Why is that?)
• A typed encoding of boxed into safe ambients

This page was built for publication: Programming Languages and Systems

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