%0 Journal Article %1 journals/acta/Martin81 %A Martin, Alain J. %D 1981 %J Acta Inf. %K dblp %P 219-235 %T An Axiomatic Definition of Synchronization Primitives. %U http://dblp.uni-trier.de/db/journals/acta/acta16.html#Martin81 %V 16

@article{journals/acta/Martin81, added-at = {2011-01-11T00:00:00.000+0100}, author = {Martin, Alain J.}, biburl = {https://www.bibsonomy.org/bibtex/28a1a19a399f63e310fa1ef56c44b9afe/dblp}, ee = {http://dx.doi.org/10.1007/BF00261260}, interhash = {516f3254b0f85017b03e192ba24afa38}, intrahash = {8a1a19a399f63e310fa1ef56c44b9afe}, journal = {Acta Inf.}, keywords = {dblp}, pages = {219-235}, timestamp = {2011-01-12T11:33:21.000+0100}, title = {An Axiomatic Definition of Synchronization Primitives.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta16.html#Martin81}, volume = 16, year = 1981 }