%0 Journal Article %1 journals/tse/TyrrellC95 %A Tyrrell, Andrew M. %A Carpenter, Geof F. %D 1995 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 629-639 %T CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse21.html#TyrrellC95 %V 21

@article{journals/tse/TyrrellC95, added-at = {2015-12-10T00:00:00.000+0100}, author = {Tyrrell, Andrew M. and Carpenter, Geof F.}, biburl = {https://www.bibsonomy.org/bibtex/2077a2e1d08ed020a7df2cfa3fc1a8250/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.392983}, interhash = {653d27b2a4d9c78afdf17f6961a4e1c5}, intrahash = {077a2e1d08ed020a7df2cfa3fc1a8250}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {629-639}, timestamp = {2015-12-12T11:44:41.000+0100}, title = {CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse21.html#TyrrellC95}, volume = 21, year = 1995 }