Six issues concerning future directions in concurrency research

Important future research directions are the combination of processes and data and the elaboration of nonfunctional requirements. Telecommunication will remain an important application area. The application area of embedded software will become increasingly important. Further, research into testing theory will become important. In the area of tool support, further development of theorem provers and checkers and integration of theorem proving and model checking deserves attention. Last, embedding of concurrency theory into an encompassing (object-oriented) design method is worthwhile.