Publication | Closed Access
Defining the semantics of languages for programmable controllers with synchronous processes
30
Citations
3
References
1993
Year
Process CalculusFormal SpecificationEngineeringSpecification LanguageOperational SemanticsSynchronous ProcessesProgram AnalysisAutomated ReasoningFormal MethodsSystems EngineeringComputer ScienceProgrammable ControllersSemanticsAction LanguageFormal VerificationSystem Software
| Year | Citations | |
|---|---|---|
Page 1
Page 1