Observation equivalence as a testing equivalence (Q580965): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: DBLP publication ID (P1635): journals/tcs/Abramsky87, #quickstatements; #temporary_batch_1731468600454 |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / cites work | |||
| Property / cites work: Q3711740 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Bisimulation can't be traced / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3321470 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3662610 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3220545 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3883467 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3929062 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3725532 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Powerdomain Construction / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3313252 / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0304-3975(87)90065-x / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2167004912 / rank | |||
Normal rank | |||
| Property / DBLP publication ID | |||
| Property / DBLP publication ID: journals/tcs/Abramsky87 / rank | |||
Normal rank | |||
Latest revision as of 05:36, 13 November 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Observation equivalence as a testing equivalence |
scientific article |
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
