The following pages link to Martti Tienari (Q1391752):
Displayed 8 items.
- Essential transitions to bisimulation equivalences (Q1391753) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- (Q3212670) (← links)
- (Q3849110) (← links)
- (Q5521826) (← links)
- A statistical model of roundoff error for varying length floating-point arithmetic (Q5614998) (← links)
- (Q5614999) (← links)
- On some topological properties of numerical algorithms (Q5659035) (← links)