scientific article; zbMATH DE number 4119659

MaRDI QIDQ4733434zbMATH OpenFDO

Authors Jan J. M. M. Rutten

Publication date 1989

zbMATH Keywords

complete metric spacescompositionalityconcurrencyconcurrent programming languagecontractionscorrectnessdenotational semanticsfull abstractionoperational semantics

Mathematics Subject Classification ID

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

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

(8)

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

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)