Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Introduction The General Setting
 

Summary: Introduction
The General Setting
The Technical Content, Alas
Adding Auxiliary Operators
Timed CCS
Concluding Remarks
The Saga of the Axiomatization
of Parallel Composition
Luca Aceto
Reykjavik University
18th CONCUR, Lisbon, 5 September 2007
Thanks to Taolue Chen, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik,
MohammadReza Mousavi and Sumit Nain for our joint work and to the
Icelandic Research Fund for partial financial support.
Luca Aceto Reykjavik University Saga of Axiomatizations
Introduction
The General Setting
The Technical Content, Alas
Adding Auxiliary Operators
Timed CCS

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences