Location of Repository

AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING

By Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo and Simone Tini

Abstract

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

Topics: P systems, Structural operational semantics, Labelled transition systems
Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.187.3857
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.di.unipi.it/%7Emila... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.