Here is a list of corrections for the Information and Computation
version of the paper
"Bisimulation in higher-order calculi",
D. Sangiorgi,
Information and Computation, 131(2), 1996.
Thanks to Christine Roekl for finding them.
- page 148, table 1. In the rules for communication, output
transitions there is a bar missing.
- page 150, definition 3.3(2): "for all concretions C" should be
"for all closed concretions C". Similarly in clause (3), for
abstractions.
- page 153, theorem 4.1(2): a P is missing on the righthand side of
the relation symbol.
- page 162, line -6: "action c" should be "action p".
- page 169, case 4: in the output transition a bar is missing.
Davide Sangiorgi