%0 Journal Article %1 78970 %A Lamport, Leslie %C New York, NY, USA %D 1990 %I ACM %J ACM Trans. Program. Lang. Syst. %K assertional bakery concurrency distributed proof %N 3 %P 396--428 %R http://doi.acm.org/10.1145/78969.78970 %T win and sin: predicate transformers for concurrency %U http://portal.acm.org/citation.cfm?id=78970# %V 12

@article{78970, added-at = {2009-11-13T18:24:50.000+0100}, address = {New York, NY, USA}, author = {Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2aaa1aeb0a2bdadba93380c1931b4fafc/giuliano.losa}, doi = {http://doi.acm.org/10.1145/78969.78970}, interhash = {32306c1d770aca211c5df143142aeaf8}, intrahash = {aaa1aeb0a2bdadba93380c1931b4fafc}, issn = {0164-0925}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {assertional bakery concurrency distributed proof}, number = 3, pages = {396--428}, publisher = {ACM}, timestamp = {2009-11-13T18:24:50.000+0100}, title = {win and sin: predicate transformers for concurrency}, url = {http://portal.acm.org/citation.cfm?id=78970#}, volume = 12, year = 1990 }