scientific article; zbMATH DE number 3278860
From MaRDI portal
Publication:5563096
zbMath0174.48301MaRDI QIDQ5563096
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Weak equivalence of higher-dimensional automata ⋮ How and where do we live in virtual reality and cyberspace —Threats and Potentials ⋮ Full Abstraction Without Synchronization Primitives ⋮ Unnamed Item ⋮ A new algorithm for deadlock avoidance ⋮ Object-oriented programming: some history, and challenges for the next fifty years ⋮ A formal C memory model for separation logic ⋮ Asynchronous parallel evolutionary algorithms for constrained optimizations ⋮ Explanation of two non-blocking shared-variable communication algorithms ⋮ Defining conditional independence using collapses ⋮ Compositional reasoning using intervals and time reversal ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ A starvation-free solution to the mutual exclusion problem ⋮ The geometry of conservative programs ⋮ A new safety test for deadlock avoidance ⋮ Calvin C. Elgot (1922-1980)
