Typed Membrane Systems


We introduce and study typing rules and a type inference algorithm for P 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. 
DOI: 10.1007/978-3-642-11467-0_13

2 Figures and Tables


  • Presentations referencing similar topics