Publication | Closed Access
Synchronous programming with events and relations: the SIGNAL language and its semantics
297
Citations
18
References
1991
Year
EngineeringOperational SemanticsAutomated ReasoningSignal LanguageEvent-driven ProgrammingConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer ScienceSemanticsFormal VerificationProcess Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1