@CONFERENCE\{IMM2006-04810,
    author       = "H. Pilegaard and F. Nielson and H. R. Nielson",
    title        = "Active Evaluation Contexts for Reaction Semantics",
    year         = "2006",
    keywords     = "Structural Operational Semantics, Reaction Semantics, Process Algebra, General Choice, Calculus of Communicating Systems, BioAmbients.",
    booktitle    = "Proceedings of Structural Operational Semantics 2006",
    volume       = "",
    series       = "Eletronic Notes in Theoretical Computer Science",
    editor       = "Rob van Glabbeek and Peter D. Mosses",
    publisher    = "Elsevier",
    organization = "",
    address      = "",
    note         = "To appear",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4810-full.html",
    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 \$\backslash\$emph\{active evaluation contexts\} that allows the
  reaction semantics to be easily constructed.",
    isbn_issn    = "1571-0661"
}