Lecture notes in computer science · 1998 · 51 citations · 0 references
ComputingAutonomous SystemsComputer ScienceFormal MethodsProgramming LanguagesSemanticsAbstract Syntax TreesFormal Language FoundationsFormal LanguagesFormal SemanticsSpecification LanguagesSyntax-semantics InterfaceAbstract SemanticsAutomata-theoretic SemanticsFormal ModelingOperational SemanticsStructural Operational Semantics