%0 Journal Article %1 journals/tocl/FurusawaS15 %A Furusawa, Hitoshi %A Struth, Georg %D 2015 %J ACM Trans. Comput. Log. %K dblp %N 4 %P 30:1-30:38 %T Concurrent Dynamic Algebra. %U http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#FurusawaS15 %V 16

@article{journals/tocl/FurusawaS15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Furusawa, Hitoshi and Struth, Georg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c58860bb87e460d590d1ac96c45dad9c/dblp}, ee = {https://doi.org/10.1145/2785967}, interhash = {eb1f3d212fa7e3c39c26f8971129dd62}, intrahash = {c58860bb87e460d590d1ac96c45dad9c}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 4, pages = {30:1-30:38}, timestamp = {2019-09-27T06:33:43.000+0200}, title = {Concurrent Dynamic Algebra.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl16.html#FurusawaS15}, volume = 16, year = 2015 }