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

### Cached

### Download Links

- [www.brics.dk]
- [www.brics.dk]
- [lamp.epfl.ch]
- DBLP

### Other Repositories/Bibliography

by
Uwe Nestmann

Venue: | INFORMATION AND COMPUTATION |

Citations: | 64 - 2 self |

### BibTeX

@INPROCEEDINGS{Nestmann97whatis,

author = {Uwe Nestmann},

title = {What is a `Good' Encoding of Guarded Choice?},

booktitle = {INFORMATION AND COMPUTATION},

year = {1997},

pages = {2000},

publisher = {Elsevier Science Publishers}

}

### Years of Citing Articles

### OpenURL

### Abstract

The -calculus with synchronous output and mixed-guarded choices is strictly more expressive than the -calculus with asynchronous output and no choice. As a corollary, Palamidessi recently proved that there is no fully compositional encoding from the former into the latter that preserves divergence-freedom and symmetries. This paper shows