Active Evaluation Contexts for Reaction Semantics |
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
|
| Abstract | In the context of process algebras it is customary to define
semantics in the form of a reaction relation supported by a
structural congruence relation. Recently process algebras have grown
more expressive in order to meet the modelling demands of fields as
diverse as business modelling and systems biology. This leads to
combining various features, such as general choice and parallelism
that were previously studied separately, and it often becomes
difficult to define the reaction semantics. We present a general
approach based on \emph{active evaluation contexts} that allows the
reaction semantics to be easily constructed. |
| Keywords | Structural Operational Semantics, Reaction Semantics, Process Algebra, General Choice, Calculus of Communicating Systems, BioAmbients. |
| Type | Conference paper [With referee] |
| Conference | Proceedings of Structural Operational Semantics 2006 |
| Editors | Rob van Glabbeek and Peter D. Mosses |
| Year | 2006 |
| Publisher | Elsevier |
| Series | Eletronic Notes in Theoretical Computer Science |
| ISBN / ISSN | 1571-0661 |
| Note | To appear |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |