A linear-history semantics for languages for distributed programming
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3837348 (Why is no real title available?)
- scientific article; zbMATH DE number 3817027 (Why is no real title available?)
- scientific article; zbMATH DE number 3928330 (Why is no real title available?)
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3581594 (Why is no real title available?)
- scientific article; zbMATH DE number 3624758 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A calculus of total correctness for communicating processes
- Communicating sequential processes
- Processes and the denotational semantics of concurrency
- Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
- Semantics of nondeterminism, concurrency, and communication
Cited in
(23)- On the suitability of trace semantics for modular proofs of communicating processes
- Step failures semantics and a complete proof system
- Merging regular processes by means of fixed-point theory
- Specification-oriented semantics for communicating processes
- scientific article; zbMATH DE number 3902019 (Why is no real title available?)
- A programming model and foundation for lineage-based distributed computation
- A weakest precondition semantics for communicating processes
- Communicating processes with value-passing and assignments
- Axiomatic system for proving the properties of simple multimodule programs
- Denotational semantics of CSP
- Infinite streams and finite observations in the semantics of uniform concurrency
- Compositional semantics for real-time distributed computing
- Stable families of behavioural equivalences
- A complete axiomatic semantics of spawning
- Continuations for remote objects control
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Correctness of concurrent processes
- Denotational semantics of program schemas for languages for communicating sequential processes
- From algebra to operational semantics
- A denotational semantics of textually aligned SPMD programs
- A denotational semantics for shared-memory parallelism and nondeterminism
- scientific article; zbMATH DE number 3902017 (Why is no real title available?)
- The denotational semantics of dynamic networks of processes
This page was built for publication: A linear-history semantics for languages for distributed programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796298)
