Relating Two Metric Semantics for Parallel Rewriting of Multisets

In this paper we employ the mathematical methodology of metric semantics in defining and relating a denotational and an operational semantics for an abstract concurrent language embodying the following features: parallel composition is based on maximal parallelism, and computations are specified by means of multiset rewriting rules. We relate these semantics, and compare them in terms of this combination of concepts. The semantic models are designed by using continuations for concurrency.

[1]  J. W. deBakker,et al.  Control flow semantics , 1996 .

[2]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[3]  Christopher Strachey,et al.  Continuations: A Mathematical Semantics for Handling Full Jumps , 2000, High. Order Symb. Comput..

[4]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[5]  Cédric Fournet,et al.  The Join Calculus: A Language for Distributed Mobile Programming , 2000, APPSEM.

[6]  Gabriel Ciobanu,et al.  Flattening the Transition P Systems with Dissolution , 2010, Int. Conf. on Membrane Computing.

[7]  Eneia Todoran,et al.  Metric semantics for synchronous and asynchronous communication: a continuation-based approach , 1999, WDS@FCT.

[8]  Gheorghe Paun,et al.  Applications of Membrane Computing (Natural Computing Series) , 2005 .

[9]  S. Banach.  Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales , 1922 .

[10]  Gordon D. Plotkin,et al.  The origins of structural operational semantics , 2004, J. Log. Algebraic Methods Program..

[11]  Pierre America,et al.  Solving Reflexive Domain Equations in a Category of Complete Metric Spaces , 1987, J. Comput. Syst. Sci..

[12]  Gabriel Ciobanu,et al.  A rewriting logic framework for operational semantics of membrane systems , 2007, Theor. Comput. Sci..

[13]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[14]  Gabriel Ciobanu,et al.  Metric Denotational Semantics for Parallel Rewriting of Multisets , 2011, 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.