OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES (Q4867409)
From MaRDI portal
scientific article; zbMATH DE number 850778
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES |
scientific article; zbMATH DE number 850778 |
Statements
OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES (English)
0 references
13 August 1996
0 references
location equivalence
0 references
preorder
0 references
local history preserving bisimulation
0 references