Applying a testing approach to the Calculus of Fair Ambients (Q5850754)
From MaRDI portal
scientific article; zbMATH DE number 5658700
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applying a testing approach to the Calculus of Fair Ambients |
scientific article; zbMATH DE number 5658700 |
Statements
Applying a testing approach to the Calculus of Fair Ambients (English)
0 references
15 January 2010
0 references
theoretical computer science
0 references
concurrency theory
0 references
process calculus
0 references
fair ambients
0 references
testing equivalence
0 references
