Sequential composition of protocols without simultaneous termination (Q5170881)
From MaRDI portal
scientific article; zbMATH DE number 6320661
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sequential composition of protocols without simultaneous termination |
scientific article; zbMATH DE number 6320661 |
Statements
Sequential composition of protocols without simultaneous termination (English)
0 references
25 July 2014
0 references
