Comparative metric semantics of programming languages. Nondeterminism and recursion

MaRDI QIDQ4212171zbMATH OpenFDO

Authors Franck van Breugel

Publication date 13 October 1998

zbMATH Keywords

semantics of programming languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• scientific article; zbMATH DE number 439891
• scientific article; zbMATH DE number 723228

Cited in

(4)

• Bisimulation indexes and their applications
• scientific article; zbMATH DE number 192929 (Why is no real title available?)
• Semantics of probabilistic processes. An operational approach
• An introduction to metric semantics: Operational and denotational models for programming and specification languages

This page was built for publication: Comparative metric semantics of programming languages. Nondeterminism and recursion

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