Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
BEATCS Concurrency Column
[go: Go Back, main page]


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

Mobility.
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 2005.
CONCUR 2004.
CONCUR 2003.

Articles Published from October 2003

  • 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: Sunday, 11-Sep-2005 17:21:30 CEST.