LCS Publication Details
Publication Title: BISIMULATION CAN'T BE TRACED: PRELIMINARY REPORT
Publication Author: Bloom, Bard
Additional Authors: Istrail, Sorin and Meyer, Albert R.
LCS Document Number: MIT-LCS-TM-345
Publication Date: 11-1-1987
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
Bisimulation is the primitive notion of equivalence between concurrent process in Milner's Calculus of Communicating Systems (CCS); there is a nontrivial game-like protocol for distinguished nonbisimular processes. In contrast, process distinguishability in Hoare's theory of Communicating Sequential Processes (CSP) is determined solely on the basis of traces of visible actions.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.