Next:
Introduction
Up:
Previous Index.
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
Scott Smolka
Thu Aug 22 10:56:53 EDT 1996