Metric semantics for concurrency
type: Item
instance of: scholarly article
title: Metric semantics for concurrency
zbMATH Open document ID: 0661.68011
DOI: 10.1007/BF01941131
published in: BIT
publication date: 1988-01-01T00:00:00Z
review text: This paper contains a survey of the work of the authors and their colleagues in the Amsterdam concurrency group on metric semantics for various constructs involving nondeterminism and parallelism. For each of several languages an operational and denotational semantics is given. The operational semantics is given in terms of transitions, and the denotational semantics which make use of environments. Both kinds of semantics involve contractions on metric spaces. The following constructs are treated: recursion and merge; synchronization and global nondeterminacy; process creation and communication with value passing. Various complete metric spaces play important parts, the basic ones being the set \(A^{\infty}\) of finite and infinite words on a set A and the nonempty closed subsets of \(A^{\infty}.\) The paper is well written, although the notations become quite complex at times.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 4080880
zbMATH Keywords: concurrency
zbMATH Keywords: metric semantics
zbMATH Keywords: operational semantics
zbMATH Keywords: transitions
zbMATH Keywords: denotational semantics
zbMATH Keywords: contractions
zbMATH Keywords: synchronization
zbMATH Keywords: global nondeterminacy
zbMATH Keywords: process creation
zbMATH Keywords: complete metric spaces
author: J. W. de Bakker
author: John-Jules Meyer
reviewed by: Stephen L. Bloom
MaRDI profile type: Publication
cites work: Q3030237
cites work: Denotational semantics of a parallel object-oriented language
cites work: Q3815463
cites work: Countable nondeterminism and random assignment
cites work: Linear time and branching time semantics for recursion with merge
cites work: Q3745260
cites work: Order and metric in the stream semantics of elemental concurrency
cites work: Infinite streams and finite observations in the semantics of uniform concurrency
cites work: Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
cites work: Processes and the denotational semantics of concurrency
cites work: Q3664418
cites work: Q3028334
cites work: Q3907039
cites work: Q3777424
cites work: Q3795188
cites work: Merging regular processes by means of fixed-point theory
cites work: Hiding in stream semantics of uniform concurrency
cites work: Q4721635
cites work: A calculus of communicating systems
cites work: A Powerdomain Construction
cites work: Q3821265
full work available at URL: https://doi.org/10.1007/bf01941131
OpenAlex ID: W1545543837
Recommended article: Q3975030
Recommended article: Q4733434
Recommended article: Metric semantics for true concurrent real time
Recommended article: Comparative metric semantics for concurrent PROLOG
Recommended article: Q4499206
Recommended article: Q3787461
Recommended article: Relation-based semantics for concurrency
Recommended article: Q4250359
Recommended article: Order and metric in the stream semantics of elemental concurrency
Recommended article: Unifying Semantics for Concurrent Programming
description: scientific article; zbMATH DE number 4080880