The following pages link to Marco Giunti (Q488475):
Displayed 12 items.
- A representational approach to reduction in dynamical systems (Q488476) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- Towards Static Deadlock Resolution in the $$\pi $$-Calculus (Q2830031) (← links)
- Secure implementations of typed channel abstractions (Q3189806) (← links)
- A Linear Account of Session Types in the Pi Calculus (Q3584947) (← links)
- (Q3836788) (← links)
- For a dynamical approach to human computation (Q4644556) (← links)
- (Q4986260) (← links)
- Representing <i>n</i>-ary relations in the Semantic Web (Q5082351) (← links)
- (Q5215766) (← links)
- Trustworthy Global Computing (Q5394793) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)