I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Trapping Mutual Exclusion in the Box Calculus


J. Esparza and G. Bruns. Trapping mutual exclusion in the box calculus. Theoretical Computer Science, 153(1):95–128, 1996.

Suggested BibTeX entry:

    author = {J. Esparza and G. Bruns},
    journal = {Theoretical Computer Science},
    number = {1},
    pages = {95--128},
    title = {Trapping Mutual Exclusion in the Box Calculus},
    volume = {153},
    year = {1996}

This work is not available online here.