Semantic independence

DOI10.1016/0167-6423(89)90014-2zbMath0697.68021OpenAlexW2913346117MaRDI QIDQ911745

Christian Lengauer, Eike Best

Publication date: 1989

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(89)90014-2

zbMATH Keywords

concurrencysemantic of programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (4)

An algebraic characterization of semantic independence ⋮ A generalized notion of semantic independence ⋮ Defining conditional independence using collapses ⋮ A generalization of traces

This page was built for publication: Semantic independence