scientific article; zbMATH DE number 18654

MaRDI QIDQ3976060zbMATH OpenFDO

Authors Gianna Reggio

Publication date 26 June 1992

zbMATH Keywords

denotational semanticsInductive SemanticsStructural Operational Semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 49477
• Transitions and trees. An introduction to structural operational semantics.
• Bi-inductive structural semantics
• A structural approach to operational semantics
• scientific article; zbMATH DE number 723228

Cited in

(1)

• From standard to non-standard semantics by semantics modifiers

This page was built for publication:

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