%0 Book Section %1 books/el/01/AcetoFV01 %A Aceto, Luca %A Fokkink, Wan J. %A Verhoef, Chris %B Handbook of Process Algebra %D 2001 %E Bergstra, Jan A. %E Ponse, Alban %E Smolka, Scott A. %I North-Holland / Elsevier %K dblp %P 197-292 %T Structural Operational Semantics. %U http://dblp.uni-trier.de/db/books/collections/BPS2001.html#AcetoFV01 %@ 978-0-444-82830-9

@incollection{books/el/01/AcetoFV01, added-at = {2020-05-18T00:00:00.000+0200}, author = {Aceto, Luca and Fokkink, Wan J. and Verhoef, Chris}, biburl = {https://www.bibsonomy.org/bibtex/2f5149b9bf133cfba361f30f269f7bb5c/dblp}, booktitle = {Handbook of Process Algebra}, crossref = {books/el/01/BPS2001}, editor = {Bergstra, Jan A. and Ponse, Alban and Smolka, Scott A.}, ee = {https://doi.org/10.1016/b978-044482830-9/50021-7}, interhash = {55fd62651347e88a873453566d250d9b}, intrahash = {f5149b9bf133cfba361f30f269f7bb5c}, isbn = {978-0-444-82830-9}, keywords = {dblp}, pages = {197-292}, publisher = {North-Holland / Elsevier}, timestamp = {2020-05-19T12:34:45.000+0200}, title = {Structural Operational Semantics.}, url = {http://dblp.uni-trier.de/db/books/collections/BPS2001.html#AcetoFV01}, year = 2001 }