%0 Journal Article %1 journals/jlp/JipsenM16 %A Jipsen, Peter %A Moshier, M. Andrew %D 2016 %J J. Log. Algebraic Methods Program. %K dblp %N 4 %P 637-652 %T Concurrent Kleene algebra with tests and branching automata. %U http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#JipsenM16 %V 85

@article{journals/jlp/JipsenM16, added-at = {2023-08-28T00:00:00.000+0200}, author = {Jipsen, Peter and Moshier, M. Andrew}, biburl = {https://www.bibsonomy.org/bibtex/27d51afef7efecbc6a7c99451ff6d2ffe/dblp}, ee = {https://www.wikidata.org/entity/Q114851584}, interhash = {fb258cc82cdcc7e1847e2a678f525bee}, intrahash = {7d51afef7efecbc6a7c99451ff6d2ffe}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 4, pages = {637-652}, timestamp = {2024-04-08T10:49:58.000+0200}, title = {Concurrent Kleene algebra with tests and branching automata.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp85.html#JipsenM16}, volume = 85, year = 2016 }