Weakest-Congruence Results for Livelock-Preserving Equivalences. - Antti Puhakka; Antti Valmari (CONCUR, 1999)

Liveness and Fairness in Process-Algebraic Verification. - Antti Puhakka; Antti Valmari (CONCUR, 2001)

Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. - Antti Puhakka (ICECCS, 2001)

Weakest Congruence Results Concerning "Any-Lock". - Antti Puhakka (TACS, 2001)

Context-Sensitive Visibility. - Antti Valmari; Heikki Virtanen; Antti Puhakka (FMICS, 2002)

Weakest Congruences, Fairness and Compositional Process-Algebraic Verification. - Antti Puhakka (2004)

Using Fairness Constraints in Process-Algebraic Verification. - Antti Puhakka (ICTAC, 2005)

Introducing Fairness into Compositional Verification via Unidirectional Counters. - Antti Siirtola; Antti Puhakka; Gerald Lüttgen (ACSD, 2012)