Guava

This publication has 10 references indexed in Scilit:

• Type-based race detection for Java
  Published by Association for Computing Machinery (ACM) ,2000
• Fixing the Java memory model
  Published by Association for Computing Machinery (ACM) ,1999
• Java's insecure parallelism
  ACM SIGPLAN Notices, 1999
• Islands
  Published by Association for Computing Machinery (ACM) ,1991
• Polymorphic effect systems
  Published by Association for Computing Machinery (ACM) ,1988
• On optimistic methods for concurrency control
  ACM Transactions on Database Systems, 1981
• Syntactic control of interference
  Published by Association for Computing Machinery (ACM) ,1978
• The programming language Concurrent Pascal
  IEEE Transactions on Software Engineering, 1975
• Monitors
  Communications of the ACM, 1974
• Structured multiprogramming
  Communications of the ACM, 1972