From eventual to atomic and locally atomic CC programs: A concurrent semantics

DOI10.1007/3-540-58431-5_10MaRDI QIDQ4537510zbMATH OpenFDO

Authors F. Bueno, Manuel Hermenegildo, Ugo Montanari, Francesca Rossi

Publication date 1 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://oa.upm.es/14430/

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Partial order and contextual net semantics for atomic and locally atomic CC programs
• A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
• Locally abstract, globally concrete semantics of concurrent programming languages
• Towards a Truly Concurrent Semantics for Reversible CCS
• A true concurrency model of CCS semantics
• A Concurrent Calculus with Atomic Transactions
• Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
• Toward a theory of maximally concurrent programs (shortened version)
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Atomic semantics of nonatomic programs

Cited in

(3)

• Partial order and contextual net semantics for atomic and locally atomic CC programs
• A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
• scientific article; zbMATH DE number 4056997 (Why is no real title available?)

This page was built for publication: From eventual to atomic and locally atomic CC programs: A concurrent semantics

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