Type Disciplines for Analysing Biologically Relevant Properties

Authors:
Bogdan Aman;Mariangiola Dezani-Ciancaglini;Angelo Troina
Affiliations:
Institute of Computer Science, Romanian Academy Blvd. Carol I no.8, 700505 Iaşi, Romania and “A.I.Cuza” University of Iaşi, Faculty of Computer Science Blvd. Carol I no.11, 7 ...;Dipartimento di Informatica, Università di Torino corso Svizzera 185, 10149 Torino, Italia;Dipartimento di Informatica, Università di Torino corso Svizzera 185, 10149 Torino, Italia
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 8
Cited 6

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
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
A Calculus of Looping Sequences for Modelling Microbiological Systems

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Bisimulations in calculi modelling membranes

Formal Aspects of Computing
Extending the calculus of looping sequences to model protein interaction at the domain level

ISBRA'07 Proceedings of the 3rd international conference on Bioinformatics research and applications
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday

Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Modelling ammonium transporters in arbuscular mycorrhiza symbiosis

Transactions on computational systems biology XIII
Typed membrane systems

WMC'09 Proceedings of the 10th international conference on Membrane Computing
Simulation techniques for the calculus of wrapped compartments

Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences

Theoretical Computer Science
Modelling ecological systems with the calculus of wrapped compartments

CMC'12 Proceedings of the 13th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The calculus of looping sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus with type disciplines to guarantee the soundness of reduction rules with respect to interesting biological properties.