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
Concurrency theory is home to a plethora of formalisms for the description of
reactive systems, and even when focusing on a single model of concurrent
computation there is a wide choice of possible notions of observable beha-
viour that can be used to induce a notion of "process equivalence" over it--as
witnessed, for instance, by van Glabbeek's linear time-branching time spec-
trum. This multiplicity of possible semantic views of concurrent computation
requires the development of tools that we can use to put some structure into
it. I believe that expressiveness results play a fundamental role in concurrency
theory, since they offer a powerful, formal way of understanding the relation-
ships amongst models and formalisms for concurrent computation, and their
relative computational power.
This contribution to the concurrency column studies the expressiveness

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University
Valencia, Frank D. - INRIA & Laboratoire d’Informatique, École Polytechnique

 

Collections: Computer Technologies and Information Sciences; Mathematics