Investigating Java Concurrency Using Abstract State Machines

Authors:
Yuri Gurevich;Wolfram Schulte;Charles Wallace
Affiliations:
-;-;-
Venue:
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Year:
2000

Citing 8
Cited 3

Evolving algebras 1993: Lipari guide

Specification and validation methods
Java Threads

Java Threads
Core Java 1.1: volume II—advanced features

Core Java 1.1: volume II—advanced features
Fixing the Java memory model

JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
The Java Language Specification

The Java Language Specification
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics

AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Why Use Evolving Algebras for Hardware and Software Engineering?

SOFSEM '95 Proceedings of the 22nd Seminar on Current Trends in Theory and Practice of Informatics
Executing Java threads in parallel in a distributed-memory environment

CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research

Modern Concurrency Abstractions for C#

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Yuri, logic, and computer science

Fields of logic and computation
Abstract state machines and the inquiry process

Fields of logic and computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a mathematically precise, platform-independent model of Java concurrency using the Abstract State Machine method. We cover all aspects of Java threads and synchronization, gradually adding details to the model in a series of steps. We motivate and explain each concurrency feature, and point out subtleties, inconsistencies and ambiguities in the official, informal Java specification.