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 - Traps, Free Choice und Home States (extended abstract)

Reference:

E. Best, L. Cherkasova, J. Desel, and J. Esparza. Traps, free choice und home states (extended abstract). In W. Thomas M. Kwiatowska, M. Shields, editor, Semantics for Concurrency, Leicester 1990, Workshops in Computing, pages 16–21. Springer-Verlag, 1991.

Suggested BibTeX entry:

@inproceedings{BCDE91,
    author = {E. Best and L. Cherkasova and J. Desel and J. Esparza},
    booktitle = {Semantics for Concurrency, Leicester 1990},
    editor = {M. Kwiatowska, M. Shields, W. Thomas},
    pages = {16-21},
    publisher = {Springer-Verlag},
    series = {Workshops in Computing},
    title = {Traps, Free Choice und Home States (extended abstract)},
    year = {1991}
}

Journal version
This work is not available online here.