nvestigating Java Concurrency Using Abstract State Machines
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 151-176
- https://doi.org/10.1007/3-540-44518-8_10
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- nvestigating Java Concurrency Using Abstract State MachinesPublished by Springer Nature ,2000
- Fixing the Java memory modelPublished by Association for Computing Machinery (ACM) ,1999
- A Programmer Friendly Modular Definition of the Semantics of JavaPublished by Springer Nature ,1999
- From sequential to multi-threaded Java: An event-based operational semanticsPublished by Springer Nature ,1997
- Why use evolving algebras for hardware and software engineering?Published by Springer Nature ,1995
- EVOLVING ALGEBRAS: AN ATTEMPT TO DISCOVER SEMANTICSPublished by World Scientific Pub Co Pte Ltd ,1993