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 active evaluation contexts that allows the reaction semantics to be easily constructed. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.entcs.2006.09.014 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
structural operational semantics,general choice,process algebra,various feature,systems biology,general approach,reaction semantics,active evaluation context,calculus of communicating systems,active evaluation contexts,bioambients.,modelling demand,bioambients,business modelling,structural congruence relation,reaction relation,semantic processing,system biology | Proof-theoretic semantics,Discrete mathematics,Formal semantics (linguistics),Operational semantics,Computer science,Computational semantics,Action semantics,Denotational semantics,Theoretical computer science,Semantics,Well-founded semantics | Journal |
Volume | Issue | ISSN |
175 | 1 | Electronic Notes in Theoretical Computer Science |
Citations | PageRank | References |
1 | 0.35 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
henrik pilegaard | 1 | 100 | 7.73 |
flemming nielson | 2 | 1769 | 172.05 |
Hanne Riis Nielson | 3 | 1719 | 153.77 |