Relation-based semantics for concurrency

DOI10.1016/0020-0255(93)90056-RzbMath0830.68080OpenAlexW2066492767MaRDI QIDQ1328556

Yahya Slimani, Noureddine Boudriga, Ali Milli

Publication date: 14 November 1995

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(93)90056-r

zbMATH Keywords

concurrent programscompositionalitymodularitydeadlocksaxiomaticsconcurrency semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Relational heuristics for the design of deterministic programs
• A calculus of communicating systems
• An axiomatic proof technique for parallel programs
• Monitors
• The structure of the “THE”-multiprogramming system