scientific article; zbMATH DE number 1754608
From MaRDI portal
Publication:4535034
zbMath0986.68511MaRDI QIDQ4535034
Davide Sangiorgi, Andrea Valente
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760408
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Using bisimulation proof techniques for the analysis of distributed abstract machines ⋮ A typed encoding of boxed into safe ambients ⋮ Comparing communication primitives via their relative expressive power ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition