%0 Journal Article %1 journals/fac/BanachS10 %A Banach, Richard %A Schellhorn, Gerhard %D 2010 %J Formal Aspects Comput. %K dblp %N 1 %P 33-61 %T Atomic actions, and their refinements to isolated protocols. %U http://dblp.uni-trier.de/db/journals/fac/fac22.html#BanachS10 %V 22

@article{journals/fac/BanachS10, added-at = {2022-05-09T00:00:00.000+0200}, author = {Banach, Richard and Schellhorn, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/23254ae15f5519a2afefb126775f76b68/dblp}, ee = {https://doi.org/10.1007/s00165-009-0103-1}, interhash = {2c3c25c3b41d63f97bb03d3d441d5567}, intrahash = {3254ae15f5519a2afefb126775f76b68}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = {33-61}, timestamp = {2024-04-09T05:36:58.000+0200}, title = {Atomic actions, and their refinements to isolated protocols.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac22.html#BanachS10}, volume = 22, year = 2010 }