The following pages link to Paola Quaglia (Q236448):
Displaying 16 items.
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Communicating by compatibility (Q2426519) (← links)
- BlenX Static and Dynamic Semantics (Q3184664) (← links)
- (Q3396549) (← links)
- On Beta-Binders Communications (Q3507381) (← links)
- (Q4266484) (← links)
- (Q4608642) (← links)
- A fully parallel calculus of synchronizing processes (Q5044776) (← links)
- A π-calculus with explicit substitutions: The late semantics (Q5096892) (← links)
- (Q5179003) (← links)
- A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078) (← links)
- Transactions on Computational Systems Biology I (Q5463915) (← links)
- Computational Methods in Systems Biology (Q5712405) (← links)
- Computational Methods in Systems Biology (Q5712418) (← links)
- Transactions on Computational Systems Biology III (Q5898008) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)
