Semantics of nondeterminism, concurrency, and communication
From MaRDI portal
Publication:1139946
DOI10.1016/0022-0000(79)90006-0zbMath0434.68066OpenAlexW2152957765MaRDI QIDQ1139946
Publication date: 1979
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/15886
fixed pointsconcurrent programmingdomain equationbinding terminationdenotational semantics for a high level language for distributed programming
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Merging regular processes by means of fixed-point theory, Infinite streams and finite observations in the semantics of uniform concurrency, Communication in concurrent dynamic logic, Testing equivalences for processes, Transition systems, metric spaces and ready sets in the semantics of uniform concurrency, Semantics of production systems, A compositional proof system for distributed programs, On the uniqueness of fixed points of endofunctors in a category of complete metric spaces, The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces, Composition of synchronous communicating systems, Latent semantic analysis of game models using LSTM, Step semantics for ``true concurrency with recursion, Contractions in comparing concurrency semantics, A continuous semantics for unbounded nondeterminism, Towards a foundation for semantics in complete metric spaces, The epistemology of nondeterminism, A Bibliography of Willem-Paul de Roever, Step failures semantics and a complete proof system, Semantics of algorithmic languages, In Scott-Strachey style denotational semantics, parallelism implies nondeterminism, A weakest precondition semantics for communicating processes, Systemic computation: A model of interacting systems with natural characteristics, A denotational semantics for shared-memory parallelism and nondeterminism, A linear-history semantics for languages for distributed programming, Specification-oriented semantics for communicating processes, Denotational semantics of CSP, The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatic proof technique for parallel programs
- Power domains
- A Proof System for Communicating Sequential Processes
- Monitors
- A Powerdomain Construction
- Communicating sequential processes
- Concurrent Processes and Their Syntax
- Programming as a Discipline of Mathematical Nature
