Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler. Reachability Problems in Piecewise FIFO Systems. ACM Trans. Comput. Log., 13(1):7, 2012. [doi]
@article{GhafariGKT12, title = {Reachability Problems in Piecewise FIFO Systems}, author = {Naghmeh Ghafari and Arie Gurfinkel and Nils Klarlund and Richard J. Trefler}, year = {2012}, doi = {10.1145/2071368.2071375}, url = {http://doi.acm.org/10.1145/2071368.2071375}, researchr = {https://researchr.org/publication/GhafariGKT12}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {13}, number = {1}, pages = {7}, }