Contractions in comparing concurrency semantics
type: Item
instance of: scholarly article
title: Contractions in comparing concurrency semantics
zbMATH Open document ID: 0707.68054
DOI: 10.1016/0304-3975(90)90016-B
author: Jan J. M. M. Rutten
author: Joost N. Kok
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 4162280
zbMATH Keywords: concurrency
zbMATH Keywords: operational semantics
zbMATH Keywords: communication
zbMATH Keywords: nondeterminism
zbMATH Keywords: value passing
zbMATH Keywords: concurrent imperative languages
zbMATH Keywords: denotational semantic
MaRDI profile type: Publication
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Countable nondeterminism and random assignment
cites work: Q3745260
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: Q5520521
cites work: Q4150804
cites work: Semantics of nondeterminism, concurrency, and communication
cites work: Q3907039
cites work: Q3777424
cites work: Topologies on Spaces of Subsets
cites work: A calculus of communicating systems
cites work: Q3857704
cites work: A Powerdomain Construction
cites work: Q3657409
cites work: Q3959414
full work available at URL: 0304-3975(90)90016-b
OpenAlex ID: W2245053867
Recommended article: Q3795188
Recommended article: Q3745260
Recommended article: Concurrency Semantics in Continuation-Passing Style
Recommended article: Constraint-Based Concurrency and Beyond
Recommended article: Balancing expressiveness in formal approaches to concurrency
Recommended article: Relation-based semantics for concurrency
Recommended article: Q3736897
Recommended article: Beyond contracts for concurrency
Recommended article: Q4341025
Recommended article: Q4202951
description: scientific article; zbMATH DE number 4162280