%0 Journal Article %1 journals/corr/JacksonS14 %A Jackson, Marcel %A Stokes, Tim %D 2014 %J CoRR %K dblp %T Monoids with tests and the algebra of possibly non-halting programs. %U http://dblp.uni-trier.de/db/journals/corr/corr1408.html#JacksonS14 %V abs/1408.4498

@article{journals/corr/JacksonS14, added-at = {2019-07-01T00:00:00.000+0200}, author = {Jackson, Marcel and Stokes, Tim}, biburl = {https://www.bibsonomy.org/bibtex/250fdd34dd3c1b6e4aec0904856766dfb/dblp}, ee = {http://arxiv.org/abs/1408.4498}, interhash = {0e8436dc974af85ec64feaeb26363fe2}, intrahash = {50fdd34dd3c1b6e4aec0904856766dfb}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-07-02T11:38:27.000+0200}, title = {Monoids with tests and the algebra of possibly non-halting programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1408.html#JacksonS14}, volume = {abs/1408.4498}, year = 2014 }