Investigating Java concurrency using abstract state machines
From MaRDI portal
Recommendations
- A unified formal specification and analysis of the new Java memory models
- A structured approach for developing concurrent programs in Java
- A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
- Model checking of concurrent algorithms: from Java to C
- A compositional operational semantics for Java\(_{\text{MT}}\)
Cited in
(17)- A type safe state abstraction for coordination in JAVA-like languages
- A structured approach for developing concurrent programs in Java
- Introducing concurrency in sequential Java via laws
- Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
- Observations on the assured evolution of concurrent Java programs
- Concurrency analysis for Java
- Concurrent abstract state machines
- Model checking of concurrent algorithms: from Java to C
- scientific article; zbMATH DE number 1283472 (Why is no real title available?)
- Formal modelling of Java GUI event handling
- Behavior investigation of concurrent Java programs: an approach based on source-code instrumentation
- Process oriented design for Java: Concurrency for all. Keynote tutorial.
- scientific article; zbMATH DE number 1858610 (Why is no real title available?)
- An enhanced thread synchronization mechanism for Java
- Using atomic await commands to develop concurrent programs in Java
- Initialization problems for Java
- Modelling thread synchronization in Java using generalized net
This page was built for publication: Investigating Java concurrency using abstract state machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753707)
