Concurrency: handling interference formally

DOI10.1007/978-3-030-01461-2_2MaRDI QIDQ6165766zbMATH OpenOpenAlexFDO

Authors Cliff B. Jones

Publication date 2 August 2023

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

Full work available at URL https://doi.org/10.1007/978-3-030-01461-2_2

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4096791
• Concurrency in synchronous systems
• Structure of concurrency
• scientific article; zbMATH DE number 3938548
• scientific article; zbMATH DE number 17833
• scientific article; zbMATH DE number 4090776
• Concurrency and atomicity
• scientific article; zbMATH DE number 42962

Cited in

(8)

• Possible values: exploring a concept for concurrency
• scientific article; zbMATH DE number 4112056 (Why is no real title available?)
• scientific article; zbMATH DE number 1231462 (Why is no real title available?)
• Operational semantics for signal handling
• Constraining interference in an object-based design method
• On interference abstractions
• What is the meaning of these constant interruptions?
• Balancing expressiveness in formal approaches to concurrency

This page was built for publication: Concurrency: handling interference formally

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