Active Evaluation Contexts for Reaction Semantics

Authors:
Henrik Pilegaard;Flemming Nielson;Hanne Riis Nielson
Affiliations:
Informatics and Mathematical Modelling, The Technical University of Denmark;Informatics and Mathematical Modelling, The Technical University of Denmark;Informatics and Mathematical Modelling, The Technical University of Denmark
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 11
Cited 1

A context dependent equivalence between processes

Theoretical Computer Science
The chemical abstract machine

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Mobile ambients

Theoretical Computer Science
Communicating sequential processes

Communications of the ACM
From rewrite rules to bisimulation congruences

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
A Calculus of Communicating Systems

A Calculus of Communicating Systems
A Calculus of Mobile Resources

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology

Flow Logic for Process Calculi

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

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.