Observation equivalence as a testing equivalence (Q580965)
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: Observation equivalence as a testing equivalence |
scientific article; zbMATH DE number 4018364
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Observation equivalence as a testing equivalence |
scientific article; zbMATH DE number 4018364 |
Statements
Observation equivalence as a testing equivalence (English)
0 references
1987
0 references
A notion of testing is developed for transition systems with divergence. The forms of testing include traces, refusals, copying and global testing. Both denotational and operational formulations of testing are given. The equivalence based on this notion of testing is shown to coincide with observation equivalence.
0 references
concurrency
0 references
operational semantics
0 references
denotational semantics
0 references
powerdomains
0 references
testing
0 references
transition systems with divergence
0 references
0.8159444332122803
0 references
0.7685036063194275
0 references
0.7591991424560547
0 references
