Safe ambients: Abstract machine and distributed implementation

DOI10.1016/J.SCICO.2005.05.002zbMATH Open1085.68044OpenAlexW2038479570MaRDI QIDQ2581541FDOQ2581541

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

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

zbMATH Keywords

Distributed implementationAbstract machineProof of correctnessSafe ambients

Mathematics Subject Classification ID

Cited In (13)

• Safety-liveness exclusion in distributed computing
• Secure safe ambients
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pict Correctness Revisited
• Theory of Cryptography
• Ambient abstract state machines with applications
• Pict correctness revisited
• Title not available (Why is that?)
• Programming Languages and Systems
• Title not available (Why is that?)
• 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)