| |
| 2005 | ||
|---|---|---|
| 6 | EE | Antti Puhakka: Using Fairness Constraints in Process-Algebraic Verification. ICTAC 2005: 546-561 |
| 2002 | ||
| 5 | EE | Antti Valmari, Heikki Virtanen, Antti Puhakka: Context-Sensitive Visibility. Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 2001 | ||
| 4 | EE | Antti Puhakka, Antti Valmari: Liveness and Fairness in Process-Algebraic Verification. CONCUR 2001: 202-217 |
| 3 | EE | Antti Puhakka: Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. ICECCS 2001: 80- |
| 2 | EE | Antti Puhakka: Weakest Congruence Results Concerning "Any-Lock". TACS 2001: 400-419 |
| 1999 | ||
| 1 | EE | Antti Puhakka, Antti Valmari: Weakest-Congruence Results for Livelock-Preserving Equivalences. CONCUR 1999: 510-524 |
| 1 | Antti Valmari | [1] [4] [5] |
| 2 | Heikki Virtanen | [5] |