Concurrency Research - The State of the Art

This section gives an overview of the current state of research into concurrency. It reviews work obtained in mathematical models of concurrency, discusses results obtained in system specification and verification, and briefly describes the impact of concurrency on programming language design.

• 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