Order and metric in the stream semantics of elemental concurrency

DOI10.1007/BF00263291zbMATH Open0607.68014OpenAlexW1972397223MaRDI QIDQ1085602FDOQ1085602

Authors: J. W. de Bakker, John-Jules Meyer 

Publication date: 1987

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263291

Recommendations

• scientific article; zbMATH DE number 17699
• scientific article; zbMATH DE number 92601
• scientific article; zbMATH DE number 3903937
• scientific article; zbMATH DE number 4119659
• Metric semantics for concurrency

zbMATH Keywords

recursioncomplete metric spacesdenotational semanticsfinite and infinite streamslinear time modelsshuffle operationSmyth order

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cited In (12)

• Metric semantics for concurrency
• Fairness, distances and degrees
• Strong fairness and ultra metrics
• Hiding in stream semantics of uniform concurrency
• The equational logic of fixed points
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the relationships between Scott domains, synchronization trees, and metric spaces
• Title not available (Why is that?)
• Infinite streams and finite observations in the semantics of uniform concurrency
• Designing equivalent semantic models for process creation
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

This page was built for publication: Order and metric in the stream semantics of elemental concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1085602)