Pages that link to "Item:Q1171370"
From MaRDI portal
The following pages link to A continuous semantics for unbounded nondeterminism (Q1171370):
Displaying 9 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Merging regular processes by means of fixed-point theory (Q1082070) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Applications of compactness in the Smyth powerdomain of streams (Q1107301) (← links)
- Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
- A continuous semantics for unbounded nondeterminism (Q1171370) (← links)
- Nonexpressibility of fairness and signaling (Q1309386) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
