What is a `Good' Encoding of Guarded Choice? (1997)

View PDF

Download Links

by Uwe Nestmann
Venue:INFORMATION AND COMPUTATION
Citations:68 - 2 self

Active Bibliography

This document in subdirectoryRS/99/43/ What is a ‘Good ’ Encoding of Guarded Choice? ∗ – Uwe Nestmann, Copyright C, Uwe Nestmann, Uwe Nestmann - 909
This document in subdirectoryRS/97/45/ What is a ‘Good ’ Encoding of Guarded Choice? ∗ – Uwe Nestmann, Uwe Nestmann - 1997
94 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
51 Bisimulations in the join-calculus – Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy - 1998
100 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
5 Mobile Processes: a Commented Bibliography, Proc. Modelling and Verification of Parallel Processes – S D Zilio
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
640 Multiparty Communication Complexity – Danny Dolev, Tomás Feder - 1989
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998