Mats Kindahl

According to our database, Mats Kindahl authored at least 6 papers between 1995 and 2014.

Collaborative distances:

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

2014

MySQL High Availability - Tools for Building Robust Data Centers, 2nd Edition.

Charles Bell, Mats Kindahl, Lars Thalmann

O'Reilly, ISBN: 978-1-4493-3958-6, 2014

2008

Model checking race-freeness.

Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl

SIGARCH Comput. Archit. News, 2008

2005

Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002.

Mats Kindahl

SIGACT News, 2005

1998

A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).

Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

An Improved Search Strategy for Lossy Channel Systems.

Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1995

Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).

Parosh Aziz Abdulla, Mats Kindahl

Proceedings of the CONCUR '95: Concurrency Theory, 1995