Defining and Executing P Systems with Structured Data in K

DOI10.1007/978-3-540-95885-7_26MaRDI QIDQ5191176zbMATH OpenOpenAlexFDO

Authors Traian Şerbănuţă, Gh. Ştefănescu, Grigore Roşu

Publication date 28 July 2009

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-95885-7_26

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Recommendations

• Membrane Computing
• K-Maude: a rewriting based tool for semantics of programming languages
• An overview of the K semantic framework
• A rewriting logic framework for operational semantics of membrane systems
• A note on parallel rewriting in P systems

Cites work

• A rewrite framework for language definitions and for generation of efficient interpreters
• A rewriting logic framework for operational semantics of membrane systems
• A theory of type polymorphism in programming
• Brane Calculi
• Computing with membranes
• Conditional rewriting logic as a unified model of concurrency
• Expressing Control Mechanisms of Membranes by Rewriting Strategies
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Maude: specification and programming in rewriting logic
• Membrane Computing
• Operational semantics and rewriting logic in membrane computing
• P systems with active membranes: Attacking NP-complete problems
• P transducers
• The chemical abstract machine
• The conformon-P system: a molecular and cell biology-inspired computability model
• The power of communication: P systems with symport/antiport

Cited in

(8)

• \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages
• From rewriting logic, to programming language semantics, to program verification
• Simulation and verification of synchronous set relations in rewriting logic
• K-Maude: a rewriting based tool for semantics of programming languages
• Membrane Computing
• A formal library of set relations and its application to synchronous languages
• P systems with control nuclei: the concept
• An overview of the K semantic framework

Describes a project that uses

Uses Software

• ML
• Maude
• K Prover
• KOOL

This page was built for publication: Defining and Executing P Systems with Structured Data in K

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5191176)