On an extension of Dijkstra's semaphore primitives

DOI10.1016/0020-0190(72)90035-XzbMath0244.68002OpenAlexW2044689595MaRDI QIDQ2554951

H. Vantilborgh, Axel van Lamsweerde

Publication date: 1972

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

Full work available at URL: https://doi.org/10.1016/0020-0190(72)90035-x

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Threshold Dimension of Graphs, The formal definition of a real-time language, Commutation properties and generating sets characterize slices of various synchronization primitives, On the design and specification of message oriented programs, A classification of process coordination schemes in descriptive power, Threshold hypergraphs

Cites Work

• The structure of the “THE”-multiprogramming system