Bulletin of the
European Association for Theoretical Computer Science
Concurrency Column

Editor, Luca Aceto

Previous Editor: Mogens Nielsen, February 1995-June 2003

Please contact the editor if you have any comments on the column or suggestions for future column topics.

Authors of contributions to the Concurrency Column should follow the instructions for the submission of contributions provided by the editor in chief of the Bulletin.

Concurrency Links

Roadmap of Infinite Results.
Handbook of Process Algebra.
Luca Aceto's Process Algebra Diary.
Process Algebra: Open Problems and Future Directions (July 21-25, 2003, University of Bologna Residential Center, Bertinoro (Forlì), Italy).
Algebraic Process Calculi: The First Twenty Five Years and Beyond (August 1-5, 2005, University of Bologna Residential Center, Bertinoro (Forlì), Italy).
A list of open problems in process algebra mentioned at the meeting Process Algebra: Open Problems and Future Directions (July 21-25, 2003, University of Bologna Residential Center, Bertinoro (Forlì), Italy).
CONCUR 2010.
CONCUR 2009.
CONCUR 2008.
CONCUR 2007.
CONCUR 2007.
CONCUR 2005.
CONCUR 2004.
CONCUR 2003.

Articles Published from October 2003

  • Number 105, October 2011
  • Number 103, February 2011
    Sessions, from types to programming languages by Vasco Thudichum Vasconcelos. [PDF]
  • Number 101, June 2010
    Higher-Order Concurrency: Expressiveness and Decidability Results -- A Survey by Jorge A. Perez. [PDF]
  • Number 100, February 2010
    Temporal logics for games by Francois Laroussinie. [PDF]
  • Number 99, October, 2009
    Algebraic Properties for Free! by Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers. [PDF]
  • Number 98, June, 2009
    Deriving labelled transition systems --- a structural approach by Julian Rathke and Pawel Sobocinski. [PDF]
  • Number 96, October, 2008
    Formalizing operational semantic specifications in logic by Dale Miller. [PDF]
  • Number 95, June, 2008
    20 Years of Modal and Mixed Specifications by Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman and Andrzej Wasowski. [PDF]
  • Number 94, February, 2008
    Part 1: Dynamic Spatial Logics: A Tutorial Survey by Luis Caires. [PDF]
    Part 2: Applying Concurrency Research in Industry: Report on a Strategic Workshop by Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir and Uwe Nestmann. [PDF]
  • Number 93, October, 2007
    Dynamic Web Data and Process Calculi by Sergio Maffeis. [PDF]
  • Number 92, June, 2007
    Exponential Gaps in our Knowledge by Orna Kupferman. [PDF]
  • Number 91, February, 2007
    Characteristic Formulae: From Automata to Logic by Luca Aceto and Anna Ingolfsdottir. [PDF]
  • Number 90, October, 2006
    New Perspectives on Fairness by Daniele Varacca and Hagen Voelzer. [PDF]
  • Number 89, June, 2006
    On the Control of Timed and Hybrid Systems by Patricia Bouyer and Fabrice Chevalier. [PDF]
  • Number 88, February, 2006
    What is Algebraic in Process Theory? by Bas Luttik. [PDF]
  • Number 87, October, 2005
    Recursion vs Replication in Process Calculi: Expressiveness by Catuscia Palamidessi and Frank D. Valencia. [PDF]
  • Number 85, February, 2005
    Process Calculi in a Biological Context by D. Prandi, C. Priami and P. Quaglia. [PDF]
  • Number 84, October, 2004
    Process Congruences from Reaction Rules by Pawel Sobocinski. [PDF]
  • Number 83, June, 2004
    Challenges in Timed Languages: From Applied Theory to Basic Theory by Eugene Asarin. [PDF]
  • Number 82, February, 2004
    Process Algebra Needs Proof Methodology by Wan Fokkink, Jan Friso Groote and Michel Reniers. [PDF]
  • Number 81, October, 2003
    Some of My Favourite Results in Classic Process Algebra by Luca Aceto. [Gzipped PS] [PDF]
  • Information on contributions to this column published before October 2003 may be found here.

    Where to Organize Scientific Events in Concurrency Theory?

    I invite those of you who are interested in organizing a thematic research workshop, a strategic meeting charting new research agenda or an advanced school on a theme related to concurrency theory to consider the University of Bologna Residential Center, Bertinoro (Forlì), Italy, as a possible location for it. Activities taking place in that beautiful conference location are held under the organization and sponsorship of BICI (Bertinoro International Center for Informatics).

    Feel free to contact me if you wish to organize a scientific event in Bertinoro.

    Luca Aceto, Department of Computer Science, Aalborg University.
    Last modified: .