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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-72952-5_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Information Declassification for Multi-Threaded Programs

Applied Mathematics and Information Sciences
Numerical AnalysisApplied MathematicsAnalysisComputer Science ApplicationsMathematicsComputational Theory
2014English

Thread-Specific Heaps for Multi-Threaded Programs

ACM SIGPLAN Notices
Computer Science
2001English

Exploring Multi-Threaded Java Application Performance on Multicore Hardware

2012English

Process Oriented Design for Java: Concurrency for All

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Scalable Concurrency Control and Recovery for Shared Storage Arrays

1999English

JavaMarker: A Marking System for Java Programs

International Journal of Computer Applications
2011English

Go! For Multi-Threaded Deliberative Agents

2003English

A Sound and Complete Logic for Algebraic Effects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

R-Shim: Deterministic Concurrency With Recursion and Shared Variables

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy