A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
From MaRDI portal
Publication:5428915
DOI10.1007/978-3-540-72952-5_16zbMath1202.68103MaRDI QIDQ5428915
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
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Reasoning about Recursive Processes in Shared-Variable Concurrency, A dynamic logic for deductive verification of multi-threaded programs, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
Uses Software
Cites Work