Publication | Closed Access

Synchronous programming with events and relations: the SIGNAL language and its semantics

EngineeringOperational SemanticsAutomated ReasoningSignal LanguageEvent-driven ProgrammingConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer ScienceSemanticsFormal VerificationProcess Calculus