Publication | Closed Access
The Esterel synchronous programming language: design, semantics, implementation
1.7K
Citations
20
References
1992
Year
EngineeringProgram AnalysisConcurrent ProgrammingFormal MethodsSoftware AnalysisProgramming Language ImplementationComputer ScienceFormal VerificationProgramming Language DesignSystem SoftwareSoftware DesignProgramming Languages
| Year | Citations | |
|---|---|---|
Page 1
Page 1