TU/e Research Portal (Eindhoven University of Technology) · 1991 · 22 citations · 0 references
Language StudiesComputer ScienceComputer SystemsFormal MethodsReal-time SystemsSemanticsCompositional SemanticsFinite State Machine ModelingFormal SemanticsModel TransformationSyntax-semantics InterfaceTemporal LogicAbstractionReactive System ModelingReactive SystemsState Machine ModelsStructural Operational Semantics