Decoding choice encodings
- 1 January 1996
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 Science and Business Media LLC ,2006
- On bisimulations for the asynchronous π-calculusLecture Notes in Computer Science, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Distributed conflicts in communicating systemsLecture Notes in Computer Science, 1995
- Concurrent objects in a process calculusPublished by Springer Science and Business Media LLC ,1995
- Combinatory representation of mobile processesPublished by Association for Computing Machinery (ACM) ,1994
- Replication in concurrent combinatorsLecture Notes in Computer Science, 1994
- The linear time — Branching time spectrum IILecture Notes in Computer Science, 1993
- A calculus of mobile processes, IInformation and Computation, 1992
- On asynchronous communication semanticsLecture Notes in Computer Science, 1992