IFIP WG 1.8: Aims and Scope
- To develop theoretical foundations of concurrency, exploring frontiers of
existing theoretical models like process algebra and various process
calculi, so as to obtain a deeper theoretical understanding of concurrent
and parallel systems.
- To promote and coordinate the exchange of information on concurrency
theory, exchanging ideas, discussing open problems, and identifying future
directions of research in the area.
The activities of this WG will encompass all aspects of concurrency theory
and its applications. The themes of the WG include:
- process algebras and calculi,
- expressiveness of formalisms for concurrency,
- modal and temporal logics for concurrency and their extensions,
- resource sensitive approaches to concurrency and their developments,
- tools for verification and validation of concurrent systems,
- reactive models for real-time and hybrid systems,
- calculi and typing systems for mobile processes and global computing,
- stochastic and probabilistic models of concurrent processes,
- behavioral relations for processes,
- decidability and complexity issues in concurrency theory,
- semantic frameworks for concurrency such as structural operational
- integration of concepts from concurrency theory into specification,
modeling and programming languages, and (global) concurrent systems, and
- exploration of the frontiers of concurrency theory in connections to
various branches of computer science, including theories of operating
systems, internet languages, Petri nets and their applications,
communication protocols, security issues on the internet, global ubiquitous
computing, distributed algorithms, embedded systems, software architectures
and engineering, automata theory; information theory, various formal
methods, control theory and robotics, bio-computing, quantum computing, and
other emerging areas.
The full text of the proposal is available in PDF format.