Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky (Q1854414)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky |
scientific article |
Statements
Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky (English)
0 references
14 January 2003
0 references
The authors point to an error in the proof of Theorem 5.8 of \textit{S. Abramsky}'s paper ``A domain equation for bisimulation'' [ibid. 92, No. 2, 161-218 (1991; Zbl 0718.68057)] and present a counterexample.
0 references
domain equation
0 references
concurrency
0 references
denotational semantics
0 references
domain logic
0 references
transition systems
0 references
synchronization trees
0 references
