The Esterel synchronous programming language: design, semantics, implementation

1992 · Science of Computer Programming · 1,719 citations · 0 from inside this corpus

No abstract in the source record.

2 of 2 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

Paper	Year	Cited
Communicating sequential processes	1983	3,792
Communicating sequential processes	1978	3,513

Links

DOI · Open access copy · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Formal Methods in Verification	Computer Science
Distributed systems and fault tolerance	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports2 author record(s) attached.
supports42 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:53+00:00.

sha256 db1645b78a57e29a…