Pages that link to "Item:Q1139946"
From MaRDI portal
The following pages link to Semantics of nondeterminism, concurrency, and communication (Q1139946):
Displaying 25 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
- A linear-history semantics for languages for distributed programming (Q796298) (← links)
- Denotational semantics of CSP (Q801677) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Specification-oriented semantics for communicating processes (Q1060838) (← 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)
- Communication in concurrent dynamic logic (Q1095653) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Semantics of production systems (Q1110314) (← links)
- On the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1114959) (← links)
- The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1123253) (← links)
- A continuous semantics for unbounded nondeterminism (Q1171370) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- Testing equivalences for processes (Q1348526) (← links)
- Latent semantic analysis of game models using LSTM (Q2423769) (← links)
- Systemic computation: A model of interacting systems with natural characteristics (Q3426224) (← links)
- In Scott-Strachey style denotational semantics, parallelism implies nondeterminism (Q3657406) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)
