Decidability Problems for Actor Systems (Q5892063)
From MaRDI portal
scientific article; zbMATH DE number 6386944
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability Problems for Actor Systems |
scientific article; zbMATH DE number 6386944 |
Statements
Decidability Problems for Actor Systems (English)
0 references
15 January 2015
0 references
actors
0 references
restful services
0 references
decidability problems
0 references
2-counter machines
0 references
well-structured transition systems
0 references
embedding relation
0 references
