A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

DOI10.1007/978-3-540-72952-5_16zbMath1202.68103OpenAlexW1516985231MaRDI QIDQ5428915

Frank S. de Boer

Publication date: 28 November 2007

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

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_16

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ A dynamic logic for deductive verification of multi-threaded programs ⋮ Reasoning about Recursive Processes in Shared-Variable Concurrency

Uses Software

• JML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatic proof technique for parallel programs
• A Proof System for Communicating Sequential Processes
• Ten Years of Hoare's Logic: A Survey—Part I
• Formal Justification of a Proof System for Communicating Sequential Processes
• The Java memory model

This page was built for publication: A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs