Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

THE CONCURRENCY COLUMN BRICS, Department of Computer Science

BRICS, Department of Computer Science
Aalborg University, 9220 Aalborg , Denmark
luca@cs.auc.dk, http://www.cs.auc.dk/~luca/BEATCS
Process calculi like ACP, CCS, CSP and various flavours of the -calculus are
popular specification formalisms for concurrent, distributed and possibly mo-
bile systems. The semantic theory of process calculi has been the subject
of extensive investigation for about twenty five years now, and several robust,
general principles and results applying to a variety of different formalisms have
been isolated in this field of concurrency theory. For instance, structural opera-
tional semantics has been successfully applied as a formal tool to establish re-
sults that hold for classes of process description languages. This has allowed
for the generalization of well-known results in the field of process algebra, and
for the development of a meta-theory for process calculi based on the realiza-
tion that many of the results in this field only depend upon general semantic
properties of language constructs. Another approach for the development of
a mathematical theory that can cover several key concepts in the theory of
process calculi is based on category theory. The main aim of this approach


Source: Aceto, Luca - School of Computer Science, Reykjavk University
Sobocinski, Pawel - School of Electronics and Computer Science, University of Southampton


Collections: Computer Technologies and Information Sciences; Mathematics