Structural operational semantics for a portable subset of behavioral VHDL-93

DOI10.1023/A:1008786720393MaRDI QIDQ5929100zbMATH OpenFDO

Authors Krishnaprasad Thirunarayan, Robert L. Ewing

Publication date 2 July 2001

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008786720393

zbMATH Keywords

structural operational semantics

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1852174
• scientific article; zbMATH DE number 1497778
• scientific article; zbMATH DE number 139816
• Structural operational semantics through context-dependent behaviour
• scientific article; zbMATH DE number 750003
• A structural approach to operational semantics
• Structuring operational semantics: simplification and computation
• Executable structural operational semantics in Maude
• scientific article; zbMATH DE number 2079820

Cited in

(2)

• scientific article; zbMATH DE number 1948412 (Why is no real title available?)
• scientific article; zbMATH DE number 1949639 (Why is no real title available?)

This page was built for publication: Structural operational semantics for a portable subset of behavioral VHDL-93

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5929100)