Typed membrane systems

Authors:
Bogdan Aman;Gabriel Ciobanu
Affiliations:
Romanian Academy, Institute of Computer Science, and, A.I.Cuza University of Iaşi, Romania;Romanian Academy, Institute of Computer Science, and, A.I.Cuza University of Iaşi, Romania
Venue:
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Year:
2009

Citing 7
Cited 0

Types and programming languages

Types and programming languages
Membrane Computing: An Introduction

Membrane Computing: An Introduction
The Essence of Principal Typings

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Applications of Membrane Computing (Natural Computing Series)

Applications of Membrane Computing (Natural Computing Series)
Abstract interpretation and types for systems biology

Theoretical Computer Science
Type Disciplines for Analysing Biologically Relevant Properties

Electronic Notes in Theoretical Computer Science (ENTCS)
A p system description of the sodium-potassium pump

WMC'04 Proceedings of the 5th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce and study typing rules and a type inference algorithm for membrane systems with symport/antiport evolution rules. The main results are given by a subject reduction theorem and the completeness of type inference. We exemplify how the type system is working by presenting a typed description of the sodium-potassium pump.