Decoding choice encodings
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 179-194
- https://doi.org/10.1007/3-540-61604-7_55
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- A calculus of mobile processes, IPublished by Elsevier ,2004
- On bisimulations for the asynchronous π-calculusPublished by Springer Nature ,1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Distributed conflicts in communicating systemsPublished by Springer Nature ,1995
- Concurrent objects in a process calculusPublished by Springer Nature ,1995
- Combinatory representation of mobile processesPublished by Association for Computing Machinery (ACM) ,1994
- Replication in concurrent combinatorsPublished by Springer Nature ,1994
- The linear time — Branching time spectrum IIPublished by Springer Nature ,1993
- On asynchronous communication semanticsPublished by Springer Nature ,1992