scientific article; zbMATH DE number 18654

zbMATH Open0743.68090MaRDI QIDQ3976060FDOQ3976060

Authors: Gianna Reggio 

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

denotational semanticsInductive SemanticsStructural Operational Semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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)