Order and metric in the stream semantics of elemental concurrency

DOI10.1007/BF00263291MaRDI QIDQ1085602zbMATH OpenOpenAlexFDO

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

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)

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

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
• scientific article; zbMATH DE number 3903937 (Why is no real title available?)
• scientific article; zbMATH DE number 4119659 (Why is no real title available?)
• On the relationships between Scott domains, synchronization trees, and metric spaces
• scientific article; zbMATH DE number 17699 (Why is no real title available?)
• 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)