Deadlock and Reachability Checking with Finite Complete Prefixes

Reference:

Keijo Heljanko. Deadlock and Reachability Checking with Finite Complete Prefixes. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 1999.

Suggested BibTeX entry:

@phdthesis{HeljankoLic,
    author = {Heljanko, Keijo},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Deadlock and Reachability Checking with Finite Complete Prefixes},
    type = {Licentiate's thesis},
    year = {1999},
}