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
In light of its flexibility and its intuitive appeal, Structural Operational Seman-
tics is by now one of the most popular approaches to giving the semantics of
programming and specification languages. Over the last twenty five years, re-
searchers in concurrency theory have developed a number of general results
guaranteeing semantic properties for whole classes of languages, provided
their operational semantics is given by rules that meet certain syntactic con-
straints. Some of these results link operational semantics with algebraic se-
mantics in that they aim either at guaranteeing the validity of general algebraic
properties of language constructs "by design" or at generating valid algebraic
equations from the operational specification of language constructs. This con-
tribution to the Concurrency Column offers a survey of some of the methods
that have been developed in the literature on this line of research. It provides

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences