@InProceedings{birkedal06bsortings, author = {Lars Birkedal and S\o ren Debois and Thomas Hildebrandt}, title = {Sortings for Reactive Systems}, booktitle = {CONCUR `06: Proceedings of the 17th International Conference on Concurrency Theory}, pages = {248--262}, year = {2006}, volume = {4137}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag} }