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
luca@cs.auc.dk, http://www.cs.auc.dk/~luca/BEATCS
This installment of the concurrency column is devoted to a piece by Jorge
Perez, which offers a survey of recent results on the expressiveness and de-
cidability of core higher-order process calculi. In such calculi, processes can
be passed around in communications, in very much the same way as functions
can be applied to other functions in the -calculus.
A celebrated result of Sangiorgi's shows that, in the -calculus, the higher-
order paradigm can be encoded in the first-order one--that is, process passing
can be expressed in terms of channel passing. However, as the results in this
column clearly indicate, there are still many open questions in the study of
the expressiveness of higher-order communication in concurrency theory. I
hope that this contribution by Jorge Perez will spur further developments in
this research area.
As the readers of this column will certainly know, on March 20, 2010, the
concurrency-theory community lost one of its true giants, Robin Milner. An

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences