No label defined (Q3321470)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1983
0 references
descriptive power
0 references
programming logics
0 references
elementary equivalence relations
0 references
nondeterministic state transition systems
0 references
propositional dynamic logic
0 references
Hennessy-Milner logic
0 references
regular trace logic
0 references
behavioural specifications for concurrent programs
0 references
bisimilarity
0 references
Milnor's observation equivalence
0 references
failure equivalence
0 references
trace equivalence
0 references
