Safe ambients: Abstract machine and distributed implementation

DOI10.1016/J.SCICO.2005.05.002zbMath1085.68044OpenAlexW2038479570MaRDI QIDQ2581541

Davide Sangiorgi, Paola Giannini, 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

Related Items (4)

An efficient abstract machine for safe ambients ⋮ A taxonomy of process calculi for distribution and mobility ⋮ Pict Correctness Revisited ⋮ Pict correctness revisited

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