scientific article; zbMATH DE number 4119659

MaRDI QIDQ4733434zbMATH OpenFDO

Authors Jan J. M. M. Rutten

Publication date 1989

zbMATH Keywords

concurrencyfull abstractioncomplete metric spacesdenotational semanticscompositionalitycontractionsoperational semanticscorrectnessconcurrent programming language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99) Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)

Recommendations

• Metric semantics for concurrency
• scientific article; zbMATH DE number 17699
• Contractions in comparing concurrency semantics
• Order and metric in the stream semantics of elemental concurrency
• Comparative metric semantics for concurrent PROLOG

Cited in

(7)

• Metric semantics for concurrency
• Rendez-vous with metric semantics
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• scientific article; zbMATH DE number 17699 (Why is no real title available?)
• scientific article; zbMATH DE number 4050970 (Why is no real title available?)
• Comparative metric semantics for concurrent PROLOG
• Order and metric in the stream semantics of elemental concurrency

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