Safe ambients: Abstract machine and distributed implementation

DOI10.1016/J.SCICO.2005.05.002MaRDI QIDQ2581541zbMATH OpenOpenAlexFDO

Authors Paola Giannini, Davide Sangiorgi, Andrea Valente

Publication date 10 January 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.05.002

zbMATH Keywords

Distributed implementationAbstract machineProof of correctnessSafe ambients

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1754608
• An efficient abstract machine for safe ambients
• scientific article; zbMATH DE number 1696438
• Safety-liveness exclusion in distributed computing
• Invisible Safety of Distributed Protocols
• Local safety and local liveness for distributed systems

Cited in

(13)

• Safety-liveness exclusion in distributed computing
• Secure safe ambients
• scientific article; zbMATH DE number 1696438 (Why is no real title available?)
• scientific article; zbMATH DE number 1754608 (Why is no real title available?)
• Pict Correctness Revisited
• Ambient abstract state machines with applications
• Theory of Cryptography
• Pict correctness revisited
• scientific article; zbMATH DE number 1759482 (Why is no real title available?)
• Programming Languages and Systems
• scientific article; zbMATH DE number 1927577 (Why is no real title available?)
• An efficient abstract machine for safe ambients
• A taxonomy of process calculi for distribution and mobility

This page was built for publication: Safe ambients: Abstract machine and distributed implementation

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