Recently, structural operational semantics has been successfully applied as a formal tool to establish results that hold for classes of process description languages. This has allowed for the generalisation of well-known results in the field of process algebra, and for the development of a meta-theory for process calculi based on the realization that many of the results in this field only depend upon general semantic properties of language constructs.
This special issue aims at documenting state-of-the-art research, new developments and directions for future investigation in the field of structural operational semantics. It is an outgrowth of the series of SOS workshops, which started in 2004, and contains full versions of several papers presented at SOS 2004, 2006 and 2007. However, papers that were not presented at these workshops were equally welcome, and all submissions have been refereed and subjected to the same quality criteria, meeting the standards of Information and Computation. Eleven papers have been selected out of a total of seventeen submissions. This issue has been edited by Rob van Glabbeek & Peter Mosses.
The accepted papers are available here.
Rob van Glabbeek NICTA, Sydney, Australia |
Peter D. Mosses Swansea University, UK |