Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
THE CONCURRENCY COLUMN BRICS, Department of Computer Science
 

Summary: THE CONCURRENCY COLUMN
BY
LUCA ACETO
BRICS, Department of Computer Science
Aalborg University, 9220 Aalborg , Denmark
Dept. of Computer Science, School of Science and Engineering
Reykjavik University, 103 Reykjavik, Iceland
luca@{cs.auc.dk,ru.is}, http://www.cs.auc.dk/~luca/BEATCS
The automata-theoretic approach to the specification and verification of re-
active systems is one of my favourite examples of a beautiful mathematical
theory that is having increasing impact on the practice of computer science.
The importance of work done in the automata-theoretic approach to system
analysis has been recognized by the computer science community at large
with the award of the ACM's Paris Kanellakis Theory and Practice Award for
2005 to Gerard J. Holzmann, Robert P. Kurshan, Moshe Y. Vardi, and Pierre
Wolper, who "demonstrated that checking the correctness of reactive systems
can be achieved using a mathematical analysis of abstract machines".
The application of the theory of automata on infinite words or trees in the
algorithmic analysis of reactive systems has motivated a deep examination
of the complexity of algorithmic problems and constructions over those struc-

  

Source: Aceto, Luca - School of Computer Science, Reykjavk University

 

Collections: Mathematics; Computer Technologies and Information Sciences