Order and metric in the stream semantics of elemental concurrency

DOI10.1007/BF00263291zbMath0607.68014OpenAlexW1972397223MaRDI QIDQ1085602

J. W. de Bakker, John-Jules Ch. 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

recursiondenotational semanticscomplete metric spacesfinite and infinite streamslinear time modelsshuffle operationSmyth order

Mathematics Subject Classification ID

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

Related Items (6)

Designing equivalent semantic models for process creation ⋮ Metric semantics for concurrency ⋮ Hiding in stream semantics of uniform concurrency ⋮ The equational logic of fixed points ⋮ Fairness, distances and degrees ⋮ Strong fairness and ultra metrics

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