13 citations
8 papers
Mechanistic models of -synuclein homeostasis for Parkinson's disease: A blueprint for therapeutic intervention
Elena Righetti, Alice Antonello, Luca Marchetti +2
Parkinson's disease (PD) is the second most common neurodegenerative disorder worldwide, yet there is no disease-modifying therapy up to this date. The biological complexity underl…
An event-based model for contracts
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna +1
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We est…
Contracts in distributed systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-…
BlenX-based compositional modeling of complex reaction mechanisms
Judit Zámborszky, Corrado Priami
Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dy…
Investigating modularity in the analysis of process algebra models of biochemical systems
Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston
Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as…
Flux Analysis in Process Models via Causality
Ozan Kahramanoğullari
We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an estab…