Operational Semantics of Reversibility in Process Algebra (Q5262973)
From MaRDI portal
scientific article; zbMATH DE number 6457606
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Operational Semantics of Reversibility in Process Algebra |
scientific article; zbMATH DE number 6457606 |
Statements
Operational Semantics of Reversibility in Process Algebra (English)
0 references
10 July 2015
0 references
reversible computation
0 references
process calculi
0 references
SOS rules
0 references
