Rendez-vous with metric semantics

DOI10.1007/BF03038272zbMath0818.68106MaRDI QIDQ1313370

J. W. de Bakker, E. P. de Vink

Publication date: 1 February 1994

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsmetric semanticsconcurrent object-oriented programming languages

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Issues in the design of a parallel object-oriented language
• Denotational semantics of a parallel object-oriented language
• Contractions in comparing concurrency semantics
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Designing equivalent semantic models for process creation
• Metric semantics for concurrency
• A layered semantics for a parallel object-oriented language
• From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic
• Fully abstract denotational models for nonuniform concurrent languages
• Linear time and branching time semantics for recursion with merge
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• Semantic Correctness for a Parallel Object-Oriented Language
• Processes and the denotational semantics of concurrency

This page was built for publication: Rendez-vous with metric semantics