Mutually Testing Processes (Q5246727)
From MaRDI portal
scientific article; zbMATH DE number 6428630
Language | Label | Description | Also known as |
---|---|---|---|
English | Mutually Testing Processes |
scientific article; zbMATH DE number 6428630 |
Statements
Mutually Testing Processes (English)
0 references
22 April 2015
0 references
process equivalences
0 references
testing theory of processes
0 references
servers, clients and peers
0 references
algebraic characterizations
0 references