Antti Puhakka

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

Coauthor Index

1	Antti Valmari	[1] [4] [5]
2	Heikki Virtanen	[5]