Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Proposal of Creating Working Group 1.8 Concurrency Theory
 

Summary: Proposal of Creating Working Group 1.8
on
Concurrency Theory
Aims
· To develop theoretical foundations of concurrency, exploring frontiers of ex-
isting 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 the-
ory, exchanging ideas, discussing open problems, and identifying future di-
rections of research in the area.
Scope
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,

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences