A rewriting logic framework for operational semantics of membrane systems

Andrei, Oana; Ciobanu, Gabriel; Lucanu, Dorel

doi:10.1016/j.tcs.2006.12.016

Cited by 55 publications

(31 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section we compare the operational semantics proposed in [4,7,9], adapted here to describe P systems defined as follows.…”

Section: Operational Semantics In Membrane Computingmentioning

confidence: 99%

“…The SOS approach offers several advantages (see also [1]): it makes easier defining the semantics of a systems in terms of the semantics of its components, it makes easier proving properties of the semantics of a system by induction, and offers the possibility to prove some results on the semantics (such as congruence results for behavioural equivalences) simply by ensuring that the given inference rules satisfy some requirements (or formats). Operational semantics for P systems which follow the SOS approach have been defined in [3,4,12,9,10,7,8] with different aims. In [3,4,12] Andrei, Ciobanu and Lucanu proposed a semantics mainly aimed at developing a provably correct interpreter for P systems.…”

Section: Introductionmentioning

confidence: 99%

“…Operational semantics for P systems which follow the SOS approach have been defined in [3,4,12,9,10,7,8] with different aims. In [3,4,12] Andrei, Ciobanu and Lucanu proposed a semantics mainly aimed at developing a provably correct interpreter for P systems. The semantics in [9,10] was defined by Busi to study properties of the behaviour of P systems such as divergence and causality of events.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An Overview on Operational Semantics in Membrane Computing

Barbuti

Maggiolo-Schettini

Milazzo

et al. 2011

Int. J. Found. Comput. Sci.

View full text Add to dashboard Cite

The aim of this paper is to give motivations for the development of operational semantics in membrane computing, and to survey existing proposals. In particular, the definitions are compared of three operational semantics available in the literature, namely a semantics proposed by Andrei, Ciobanu and Lucanu, another proposed by Busi, and another one proposed by the authors of the present paper. These definitions are different since they are given with different aims. However, we show that there is an operational correspondence among the three.

show abstract

“…In this section we compare the operational semantics proposed in [4,7,9], adapted here to describe P systems defined as follows.…”

Section: Operational Semantics In Membrane Computingmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Overview on Operational Semantics in Membrane Computing

Barbuti

Maggiolo-Schettini

Milazzo

et al. 2011

Int. J. Found. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…An operational semantics for P systems with maximal parallelism semantics has been defined for P systems in [1,2,10]. The main difference w.r.t.…”

Section: Definition 8 a Partial Configuration Of π Is A Tuplementioning

confidence: 99%

“…The main difference w.r.t. our approach is concerned with the fact that, while in this Section a maximal parallelism computational step is defined as a maximal sequence of reactions, in [1,2,10] no notion of reaction is provided, and the notion equivalent to the maximal parallelism computational step is defined directly by SOS rules [25]. A detailed comparison of the two approaches is beyond the scope of the present paper and deserves further investigation.…”

Section: Definition 8 a Partial Configuration Of π Is A Tuplementioning

confidence: 99%

Causality in Membrane Systems

Busi¹

Membrane Computing

View full text Add to dashboard Cite

Summary. P systems are a biologically inspired model introduced by Gheorghe Pȃun with the aim of representing the structure and the functioning of the cell. P systems are usually equipped with the maximal parallelism semantics; however, since their introduction, some alternative semantics have been proposed and investigated.We propose a semantics that describes the causal dependencies occurring between the reactions of a P system. We investigate the basic properties that are satisfied by such a semantics. The notion of causality turns out to be quite relevant for biological systems, as it permits to point out which events occurring in a biological pathway are necessary for another event to happen.

show abstract