A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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, P alamidessi recently proved that there is no fully compositional encoding from the former into the latter that preserves divergence-freedom and symmetries. This paper shows that there are nevertheless'good' encodings between these calculi. In detail, we present a series of encodings for languages with (1) input-guarded choice,doi:10.1016/s1571-0661(05)80474-8 fatcat:toc36ecepnh2znenleb73aj2te