Deciding Reachability in Mobile Ambients with Name Restriction (Q5179047)
From MaRDI portal
scientific article; zbMATH DE number 6416848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding Reachability in Mobile Ambients with Name Restriction |
scientific article; zbMATH DE number 6416848 |
Statements
Deciding Reachability in Mobile Ambients with Name Restriction (English)
0 references
19 March 2015
0 references
mobile ambients
0 references
reachability
0 references
term rewriting
0 references
