On partial order characterizations of information structures (Q1841262)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On partial order characterizations of information structures |
scientific article |
Statements
On partial order characterizations of information structures (English)
0 references
30 July 2001
0 references
This paper presents a sufficient condition for the existence of partial order characterizations of information structures, and is based upon the Witsenhausen model which is the most appropriate to analyze the relationship between information structure and concurrency. As a result, it is shown that the partial-order-based descriptions of concurrency customarily used by computer scientists are not always suitable.
0 references
information structure
0 references
concurrency
0 references
nonsequential systems
0 references
deadlock-freeness
0 references
