The following pages link to Cristian Versari (Q897106):
Displayed 15 items.
- Introduction to concurrency theory. Transition systems and CCS (Q897107) (← links)
- Abstract simulation of reaction networks via Boolean networks (Q2112137) (← links)
- Computing difference abstractions of linear equation systems (Q2238208) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- Computing difference abstractions of metabolic networks under kinetic constraints (Q2326598) (← links)
- Encoding Catalytic P Systems in π@ (Q2864204) (← links)
- Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes (Q2870307) (← links)
- An Operational Petri Net Semantics for A2CCS (Q2895794) (← links)
- Biochemical Reaction Rules with Constraints (Q3000587) (← links)
- On the Expressive Power of Global and Local Priority in Process Calculi (Q3525641) (← links)
- On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733) (← links)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
- Complex Functional Rates in Rule-Based Languages for Biochemistry (Q4912381) (← links)
- (Q4964000) (← links)
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi (Q5756508) (← links)