Decoding Choice Encodings
- 1 November 2000
- journal article
- Published by Elsevier in Information and Computation
- Vol. 163 (1) , 1-59
- https://doi.org/10.1006/inco.2000.2868
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- Some facile chemistryFormal Aspects of Computing, 1995
- A Theory of Higher Order Communicating SystemsInformation and Computation, 1995
- The Lazy Lambda Calculus in a Concurrency ScenarioInformation and Computation, 1994
- Plain CHOCS A second generation calculus for higher order processesActa Informatica, 1993
- An efficiency preorder for processesActa Informatica, 1992
- Functions as processesMathematical Structures in Computer Science, 1992
- Bisimulation and divergenceInformation and Computation, 1990