What is a `Good' Encoding of Guarded Choice?

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

by Uwe Nestmann

Venue:	INFORMATION AND COMPUTATION
Citations:	56 - 2 self

User correction supplied by mph

Datum	Value	Source
TITLE	What is a `Good' Encoding of Guarded Choice?	user correction - Legacy Corrections
AUTHOR NAME	Uwe Nestmann	user correction
AUTHOR AFFIL	Department of Computer Science; University of Aarhus	user correction
AUTHOR ADDR	Denmark	user correction
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	user correction
YEAR	1997	INFERENCE
VENUE	INFORMATION AND COMPUTATION	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	2000	INFERENCE
VOLUME	156	INFERENCE
CITATIONS	32 found	ParsCit 1.0