Abstract | ||
---|---|---|
Machine orCHAM [9] is a mathematical version of chemistry that now routinely serves asa basis for the semantics of interactive process calculi or languages [43]. Beingunable to express timeliness, the chemical model is obviously inappropriate forreactive systems.In the Newtonian model, planets evolve in a deterministic and perfectly synchronousway. The Newtonian model will serve as a guideline for the de?nitionand semantics of our synchronous languages, where we shall similarly assume... |
Year | Venue | Keywords |
---|---|---|
2000 | Proof, Language, and Interaction | process calculi |
Field | DocType | ISBN |
Programming language,Computer science,Synchronous programming language,Esterel | Conference | 0-262-16188-5 |
Citations | PageRank | References |
253 | 14.71 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gérard Berry | 1 | 1402 | 153.04 |