Communicating sequential processes
The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
Citation edge evidence
- The Esterel synchronous programming language: design, semantics, implementation→Communicating sequential processesLegacy edge — source detail unavailable
- Communicating sequential processes→Guarded commands, nondeterminacy and formal derivation of programsLegacy edge — source detail unavailable
What this paper cites, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| Guarded commands, nondeterminacy and formal derivation of programs | 1975 | 1,935 |
What cites it, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| The Esterel synchronous programming language: design, semantics, implementation | 1992 | 1,719 |
Links
Download BibTeX · Download RIS · DOI · Open access copy · OpenAlex record
Topics
| Logic, programming, and type systems | Computer Science |
| Parallel Computing and Optimization Techniques | Computer Science |
| Formal Methods in Verification | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports1 author record(s) attached.
- supports8 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 bba2969b3567609a…