Reachability in Networks of Register Protocols under Stochastic Schedulers (Q4598247): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
| label / en | label / en | ||
Reachability in Networks of Register Protocols under Stochastic Schedulers | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2280864594 / rank | |||
Normal rank | |||
| Property / title | |||
Reachability in Networks of Register Protocols under Stochastic Schedulers (English) | |||
| Property / title: Reachability in Networks of Register Protocols under Stochastic Schedulers (English) / rank | |||
Normal rank | |||
Latest revision as of 08:38, 30 July 2024
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
