Invariants for the construction of a handshake register

DOI10.1016/S0020-0190(98)00158-6zbMath1339.68091OpenAlexW2160457140MaRDI QIDQ293438

Wim H. Hesselink

Publication date: 9 June 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098001586?np=y

zbMATH Keywords

invariantdistributed computingghost variablehandshakeregisterwaitfree

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (4)

Exponential automatic amortized resource analysis ⋮ Decomposing monolithic processes in a process algebra with multi-actions ⋮ Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems ⋮ State Space Reduction of Linear Processes Using Control Flow Reconstruction

Cites Work

• On interprocess communication. II: Algorithms
• An axiomatic proof technique for parallel programs
• Unnamed Item

This page was built for publication: Invariants for the construction of a handshake register