Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs

Reference:

J. Esparza. A polynomial-time algorithm for checking consistency of free-choice signal transition graphs. In Balarin J. Lilius, F and R.J. Machado, editors, Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), pages 61–70, Guimaraes, Portugal, June 2003. IEEE Computer Society. ISBN 0-7695-1887-7.

Suggested BibTeX entry:

@inproceedings{Esp03,
    address = {Guimaraes, Portugal},
    author = {J. Esparza},
    booktitle = {Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003)},
    editor = {J. Lilius, F, Balarin and R.J. Machado},
    month = {June},
    note = {ISBN 0-7695-1887-7},
    pages = {61--70},
    publisher = {IEEE Computer Society},
    title = {A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs},
    year = {2003}
}

GZipped PostScript (66 kB)
PDF (147 kB)