@article{Sulzmann2016,
    Abstract = {Abstract There is a rich variety of shuffling operations ranging from asynchronous interleaving to various forms of synchronizations. We introduce a general shuffling operation which subsumes earlier forms of shuffling. We further extend the notion of a Brzozowski derivative and an Antimirov partial derivative to the general shuffling operation and thus to many earlier forms of shuffling. This extension enables the direct construction of automata from regular expressions involving shuffles that appear in specifications of concurrent systems.},
    Author = {Sulzmann, Martin and Thiemann, Peter},
    File = {Derivatives and partial derivatives for regular shuffle expressions - Sulzmann, Thiemann (0) (0) - a - a - a.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {Partial derivatives},
    Pages = {-},
    Title = {Derivatives and partial derivatives for regular shuffle expressions},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000016301325},
    Year = {2016},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000016301325},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2016.11.010},
    date-added = {2017-01-10 15:15:27 +0000},
    date-modified = {2017-01-10 15:15:27 +0000},
    doi = {10.1016/j.jcss.2016.11.010}
}

@article{Sulzmann2016, Abstract = {Abstract There is a rich variety of shuffling operations ranging from asynchronous interleaving to various forms of synchronizations. We introduce a general shuffling operation which subsumes earlier forms of shuffling. We further extend the notion of a Brzozowski derivative and an Antimirov partial derivative to the general shuffling operation and thus to many earlier forms of shuffling. This extension enables the direct construction of automata from regular expressions involving shuffles that appear in specifications of concurrent systems.}, Author = {Sulzmann, Martin and Thiemann, Peter}, File = {Derivatives and partial derivatives for regular shuffle expressions - Sulzmann, Thiemann (0) (0) - a - a - a.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {Partial derivatives}, Pages = {-}, Title = {Derivatives and partial derivatives for regular shuffle expressions}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000016301325}, Year = {2016}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000016301325}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2016.11.010}, date-added = {2017-01-10 15:15:27 +0000}, date-modified = {2017-01-10 15:15:27 +0000}, doi = {10.1016/j.jcss.2016.11.010} }