Monday, January 21, 2008

Concurrency Column for the February Issue of the BEATCS

I have just posted the concurrency column that will appear in the February 2008 issue of the Bulletin of the EATCS. This installment of the concurrency column is devoted to a double bill, as it offers the following two contributions:
The first piece is a survey devoted to spatial logics contributed by Luis Caires, one of the prime movers behind the development of this exciting kind of specification logics. Since the original work of Pnueli, (temporal) logics have been a prime formalism for the description of the behaviour of concurrent systems. Spatial logics are specification logics for describing the behaviour as well as the spatial structure of concurrent systems. Despite being only a fairly recent addition to the family of specification formalisms for concurrent computation, spatial logics are already the subject of a large literature reporting on a substantial body of non-trivial results. Luis Caires’s survey gives us a highly readable and welcome bird’s-eye view of this fast-moving subject.

The second contribution is a strategic report on applying concurrency research in industry. This non-technical article is one of the outcomes of the Workshop on Applying Concurrency Research in Industry, colocated with CONCUR 2007 in Lisbon, which I co-organized on behalf of IFIP WG1.8 “Concurrency Theory”. The essay tries to distil the contents of the presentations delivered at the workshop, and of the ensuing discussion, for the benefit of the concurrency community as a whole. I thank all the participants in the workshop for their contribution to the event. Special thanks go to the invited speakers (Vincent Danos, Hubert Garavel, Jan Friso Groote and Kim G. Larsen) for making the trip to Lisbon to share their considerable experience on this topic with us, and to Rance Cleaveland, Joost-Pieter Katoen, Moshe Vardi and Frits Vaandrager for providing their answers to the questions that the audience asked the invited speakers at the workshop.

I hope that you will enjoy these contributions, and that you will feel enticed to contribute to the ongoing discussion within the concurrency theory community.

Last, but not least, do contact me if you'd like to contribute a piece to the column!

No comments: