Reachability in Networks of Register Protocols under Stochastic Schedulers (Q4598247)
From MaRDI portal
scientific article; zbMATH DE number 6820295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reachability in Networks of Register Protocols under Stochastic Schedulers |
scientific article; zbMATH DE number 6820295 |
Statements
19 December 2017
0 references
networks of processes
0 references
parametrized systems
0 references
stochastic scheduler
0 references
almost-sure reachability
0 references
cut-off property
0 references
Reachability in Networks of Register Protocols under Stochastic Schedulers (English)
0 references
