Reachability in networks of register protocols under stochastic schedulers (Q4598247)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Reachability in networks of register protocols under stochastic schedulers |
scientific article; zbMATH DE number 6820295
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7095995545387268
0 references
0.7089893221855164
0 references
0.7042900323867798
0 references
0.7034100890159607
0 references
0.7005414962768555
0 references
