Strategic Directions in Computing Research Concurrency Working Group Report

Edited by Rance Cleaveland and Scott A. Smolka

• Introduction
• Concurrency Research - The State of the Art
  • Models for Concurrency
  • Verification Formalisms
    • Specification
      • Logics for Concurrency.
      • Behavioral Relations.
      • Comparison.
    • Verification Methodologies and Algorithms
      • Proof systems.
      • Algorithms.
    • Tools
      • Proof-Oriented Tools.
      • Algorithmic tools.
      • Metatools.
    • Applications
  • Concurrent Programming Languages
• Strategic Directions
  • Beyond Correctness
  • Taxonomy and Unifying Semantic Framework of Concurrency
    • Challenge:
    • Customer.
    • Student.
    • Researcher.
  • Design and Verification Methodologies
  • Programming Languages for Concurrency
  • Concurrency Education
• Conclusions
• References