Verification for Java’s Reentrant Multithreading Concept

This publication has 16 references indexed in Scilit:

• An Event-Based Structural Operational Semantics of Multi-threaded Java
  Published by Springer Nature ,1999
• Monitor classification
  ACM Computing Surveys, 1995
• Reasoning about dynamically evolving process structures
  Formal Aspects of Computing, 1994
• Algebraic Specification Techniques in Object Oriented Programming Environments
  Published by Springer Nature ,1991
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• A proof technique for communicating sequential processes
  Acta Informatica, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967