Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky (Q1854414)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Corrigendum: ``A domain equation for bisimulation by S. Abramsky |
scientific article; zbMATH DE number 1853161
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Corrigendum: ``A domain equation for bisimulation'' by S. Abramsky |
scientific article; zbMATH DE number 1853161 |
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
0.7246521711349487
0 references
0.7148013710975647
0 references
0.7104540467262268
0 references
0.7101486325263977
0 references
