%0 Journal Article %1 journals/tcs/Roggenbach06 %A Roggenbach, Markus %D 2006 %J Theor. Comput. Sci. %K %N 1 %P 42-71 %T CSP-CASL - A new integration of process algebra and algebraic specification. %U http://dblp.uni-trier.de/db/journals/tcs/tcs354.html#Roggenbach06 %V 354

@article{journals/tcs/Roggenbach06, added-at = {2023-12-13T04:39:41.000+0100}, author = {Roggenbach, Markus}, biburl = {https://www.bibsonomy.org/bibtex/29c59cb60f19f346bba4d24cc212c4c90/admin}, date = {2006-04-18}, ee = {http://dx.doi.org/10.1016/j.tcs.2005.11.007}, interhash = {98bb4627cf52400b34da9d3fe1e90b33}, intrahash = {9c59cb60f19f346bba4d24cc212c4c90}, journal = {Theor. Comput. Sci.}, keywords = {}, number = 1, pages = {42-71}, timestamp = {2023-12-13T04:39:41.000+0100}, title = {CSP-CASL - A new integration of process algebra and algebraic specification.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs354.html#Roggenbach06}, volume = 354, year = 2006 }