Relation-based semantics for concurrency

DOI10.1016/0020-0255(93)90056-RMaRDI QIDQ1328556zbMATH OpenOpenAlexFDO

Authors Noureddine Boudriga, Yahya Slimani, Ali Mili

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

modularitycompositionalityaxiomaticsdeadlocksconcurrent programsconcurrency semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3932376
• The relationship between two semantics of parallel computations
• scientific article; zbMATH DE number 3902009
• Concurrency and atomicity
• scientific article; zbMATH DE number 723228

Cites work

• scientific article; zbMATH DE number 3483531 (Why is no real title available?)
• A calculus of communicating systems
• An axiomatic proof technique for parallel programs
• Monitors
• Relational heuristics for the design of deterministic programs
• The structure of the “THE”-multiprogramming system

Cited in

(10)

• Metric semantics for concurrency
• Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
• A relational semantics for parallelism and non-determinism in a functional setting
• Theoretical Aspects of Computing – ICTAC 2005
• Contractions in comparing concurrency semantics
• scientific article; zbMATH DE number 2102054 (Why is no real title available?)
• scientific article; zbMATH DE number 7407781 (Why is no real title available?)
• Concurrent Semantics Without the Notions of State or State Transitions
• scientific article; zbMATH DE number 3915634 (Why is no real title available?)
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)

This page was built for publication: Relation-based semantics for concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1328556)