scientific article; zbMATH DE number 1761891

zbMATH Open0988.68534MaRDI QIDQ4537510FDOQ4537510

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

Publication date: 1 July 2002

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
• Partial order and contextual net semantics for atomic and locally atomic CC programs

This page was built for publication:

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