%0 Conference Paper %1 conf/icalp/AcetoH91 %A Aceto, Luca %A Hennessy, Matthew %B ICALP %D 1991 %E Albert, Javier Leach %E Monien, Burkhard %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 506-519 %T Adding Action Refinement to a Finite Process Algebra. %U http://dblp.uni-trier.de/db/conf/icalp/icalp91.html#AcetoH91 %V 510 %@ 0-387-54233-7

@inproceedings{conf/icalp/AcetoH91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Aceto, Luca and Hennessy, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/29974fbd1a220728be9be17c197b31afe/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1991}, editor = {Albert, Javier Leach and Monien, Burkhard and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-54233-7_159}, interhash = {0eb2ba683d15ecdb419532b14f3dcd18}, intrahash = {9974fbd1a220728be9be17c197b31afe}, isbn = {0-387-54233-7}, keywords = {dblp}, pages = {506-519}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T01:00:24.000+0200}, title = {Adding Action Refinement to a Finite Process Algebra.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp91.html#AcetoH91}, volume = 510, year = 1991 }