%0 Journal Article %1 degano_01_enhanced %A Degano, Pierpaolo %A Priami, Corrado %C New York, NY, USA %D 2001 %I ACM Press %J ACM Comput. Surv. %K tool 2001 concurrent_systems sos %N 2 %P 135--176 %R 10.1145/384192.384194 %T Enhanced operational semantics: a tool for describing and analyzing concurrent systems %U http://dx.doi.org/10.1145/384192.384194 %V 33

@article{degano_01_enhanced, added-at = {2009-02-11T22:24:25.000+0100}, address = {New York, NY, USA}, author = {Degano, Pierpaolo and Priami, Corrado}, biburl = {https://www.bibsonomy.org/bibtex/2f0431de7525c2cca6728c62e150df657/leonardo}, citeulike-article-id = {1093244}, doi = {10.1145/384192.384194}, interhash = {63ae140201656321340f6964e5c56771}, intrahash = {f0431de7525c2cca6728c62e150df657}, issn = {0360-0300}, journal = {ACM Comput. Surv.}, keywords = {tool 2001 concurrent_systems sos}, month = {June}, number = 2, pages = {135--176}, posted-at = {2007-02-07 18:52:50}, priority = {3}, publisher = {ACM Press}, timestamp = {2009-02-11T22:24:25.000+0100}, title = {Enhanced operational semantics: a tool for describing and analyzing concurrent systems}, url = {http://dx.doi.org/10.1145/384192.384194}, volume = 33, year = 2001 }