Backwards-reachability for cooperating multi-pushdown systems (Q6655673)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7960719
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Backwards-reachability for cooperating multi-pushdown systems |
scientific article; zbMATH DE number 7960719 |
Statements
Backwards-reachability for cooperating multi-pushdown systems (English)
0 references
27 December 2024
0 references
reachability
0 references
formal verification
0 references
pushdown automaton
0 references
distributed system
0 references
0.9841598272323608
0 references
0.788939893245697
0 references
0.7857323288917542
0 references
0.7846654653549194
0 references
0.7821260690689087
0 references
