No label defined (Q3979267)
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 19769
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 19769 |
Statements
26 June 1992
0 references
distributed termination problem
0 references
diffusion protocol
0 references
Petri net
0 references
stable condition
0 references
diffusing computation
0 references
0.7937142252922058
0 references
0.7709028124809265
0 references
[For the entire collection see Zbl 0732.00023.] The distributed termination problem is specified as a property of a Petri net for an arbitrary distributed computation. A solution is given by two net extensions. We begin with a protocol for computing a stable meaningful condition. Then a diffusion protocol is specified to visit all processes. Thereby the stable condition is used as a delay. Both protocols together are verified to detect distributed termination always and correctly.
0 references
