scientific article; zbMATH DE number 1497787

MaRDI QIDQ4499204zbMATH OpenFDO

Authors Anna Ingolfsdottir, Rosario Pugliese

Publication date 22 August 2001

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Specification and verification of concurrent programs through refinements
• CompCertTSO
• The lazy lambda calculus in a concurrency scenario

Cited in

(1)

• An operational semantics for shared messaging communication

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