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

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

A Special Issue of TCS on Process Algebra

22 November 2004

It's done at last! Wan Fokkink, Anna Ingolfsdottir, Zoltan Esik and I today submitted the source files of the papers that will be published in a special issue of Theoretical Computer Science devoted to selected, full papers reporting on the results that formed the basis for talks that were delivered during the workshop on "Process Algebra: Open Problems and Future Directions" that was held in the period 21-25 July, 2003, at the University Residential Centre of Bertinoro, Forlė, Italy.

Editing a volume of a journal always involves a fair amount of work, but our efforts in organizing the workshop, and in editing the volume, will be amply rewarded if young researchers will be enticed to work in process theory by reading the high quality and varied contributions to the special issue, by the solution of some of the open problems that were raised during the event, or by the further development of work along the future directions that were pointed out in Bertinoro.

The table of contents of the special issue will be as follows:

• Guest Editor's Foreword
• "A Brief History of Process Algebra" by Jos Baeten
• "Decomposition Orders (another generalisation of the Fundamental Theorem of Arithmetic)" by Bas Luttik and Vincent van Oostrom
• "Measuring the Performance of Asynchronous Systems with PAFAS" by Flavio Corradini and Walter Vogler
• "Process Algebra for Hybrid Systems" by Jan Bergstra and Kees Middelburg
• "On the Usability of Process Algebra: An Architectural View" by Alessandro Aldini and Marco Bernardo
• "Observational congruences for dynamically reconfigurable tile systems" by Roberto Bruni, Ugo Montanari and Vladimiro Sassone
• "A randomized encoding of the pi-calculus with mixed choice" by Catuscia Palamidessi and Oltea Mihaela Herescu

I sincerely hope that many of you will enjoy reading these papers.