%0 Journal Article %1 journals/tcs/CacciagranoCP07 %A Cacciagrano, Diletta %A Corradini, Flavio %A Palamidessi, Catuscia %D 2007 %J Theor. Comput. Sci. %K dblp %N 3 %P 218-235 %T Separation of synchronous and asynchronous communication via testing. %U http://dblp.uni-trier.de/db/journals/tcs/tcs386.html#CacciagranoCP07 %V 386

@article{journals/tcs/CacciagranoCP07, added-at = {2021-04-09T00:00:00.000+0200}, author = {Cacciagrano, Diletta and Corradini, Flavio and Palamidessi, Catuscia}, biburl = {https://www.bibsonomy.org/bibtex/20b252a902d8837700689cdcffcce7e3e/dblp}, ee = {https://doi.org/10.1016/j.tcs.2007.07.009}, interhash = {3f6e289016a3ce795d757727fe121d0a}, intrahash = {0b252a902d8837700689cdcffcce7e3e}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {218-235}, timestamp = {2024-04-08T18:36:36.000+0200}, title = {Separation of synchronous and asynchronous communication via testing.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs386.html#CacciagranoCP07}, volume = 386, year = 2007 }