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)

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

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)