Constructing weak simulations from linear implications for processes with private names (Q5236556)
From MaRDI portal
scientific article; zbMATH DE number 7114857
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing weak simulations from linear implications for processes with private names |
scientific article; zbMATH DE number 7114857 |
Statements
Constructing weak simulations from linear implications for processes with private names (English)
0 references
9 October 2019
0 references
process algebra
0 references
bisimulation
0 references
proof theory
0 references
linear logic
0 references
0 references
0 references