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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1142/S0129054111007885 | INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Keywords | Field | DocType |
P systems, Structural operational semantics, Labelled transition systems | Discrete mathematics,Operational semantics,Software engineering,Computational semantics,Computer science,Denotational semantics,Action semantics,Type erasure,Failure semantics,Theoretical computer science,Semantics,Well-founded semantics | Journal |
Volume | Issue | ISSN |
22 | 1 | 0129-0541 |
Citations | PageRank | References |
10 | 0.57 | 15 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Barbuti | 1 | 866 | 81.03 |
Andrea Maggiolo-Schettini | 2 | 789 | 89.11 |
Paolo Milazzo | 3 | 10 | 0.57 |
Simone Tini | 4 | 306 | 33.19 |