scientific article; zbMATH DE number 3780536

MaRDI QIDQ3959403zbMATH OpenFDO

Authors Axel Poigné

Publication date 1982

zbMATH Keywords

algebraic semanticscomputation sequencedenotational semanticsequivalence of semanticsnon-deterministic program schemesoperational semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Free semiring-representations and nondeterminism
• Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes

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 Q3959403)