scientific article; zbMATH DE number 4119659

zbMATH Open0683.68073MaRDI QIDQ4733434FDOQ4733434

Authors: Jan J. M. M. Rutten 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)