Antti Puhakka

According to our database, Antti Puhakka authored at least 8 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Introducing Fairness into Compositional Verification via Unidirectional Counters.

Antti Siirtola, Antti Puhakka, Gerald Lüttgen

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2005

Using Fairness Constraints in Process-Algebraic Verification.

Antti Puhakka

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Weakest Congruences, Fairness and Compositional Process-Algebraic Verification.

Antti Puhakka

PhD thesis, 2004

2002

Context-Sensitive Visibility.

Antti Valmari, Heikki Virtanen, Antti Puhakka

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

2001

Weakest Congruence Results Concerning "Any-Lock".

Antti Puhakka

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities.

Antti Puhakka

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

Liveness and Fairness in Process-Algebraic Verification.

Antti Puhakka, Antti Valmari

Proceedings of the CONCUR 2001, 2001

1999

Weakest-Congruence Results for Livelock-Preserving Equivalences.

Antti Puhakka, Antti Valmari

Proceedings of the CONCUR '99: Concurrency Theory, 1999