Mats Kindahl

Publication Activity (10 Years)

Years Active: 1995-2008
Publications (10 Years): 0

Publications

Parosh Aziz Abdulla, Frédéric Haziza, Mats Kindahl
Model checking race-freeness. SIGARCH Comput. Archit. News 36 (5) (2008)
Mats Kindahl
Review of "Types and Programming Languages by Benjamin C. Pierce", MIT Press, 2002. SIGACT News 37 (4) (2006)
Mats Kindahl
Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002. SIGACT News 36 (1) (2005)
Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). CAV (1998)
Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled
An Improved Search Strategy for Lossy Channel Systems. FORTE (1997)
Parosh Aziz Abdulla, Mats Kindahl
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). CONCUR (1995)