%0 Conference Paper %1 conf/icfem/DihegoAS13 %A Dihego, José %A Antonino, Pedro R. G. %A Sampaio, Augusto %B ICFEM %D 2013 %E Groves, Lindsay %E Sun, Jing %I Springer %K %P 4-19 %T Algebraic Laws for Process Subtyping. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#DihegoAS13 %V 8144 %@ 978-3-642-41201-1

@inproceedings{conf/icfem/DihegoAS13, added-at = {2023-12-13T00:23:11.000+0100}, author = {Dihego, José and Antonino, Pedro R. G. and Sampaio, Augusto}, biburl = {https://www.bibsonomy.org/bibtex/2b4303b9c0768ec2600ab42e34b5b0f90/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2013}, editor = {Groves, Lindsay and Sun, Jing}, ee = {https://doi.org/10.1007/978-3-642-41202-8_2}, interhash = {629d65ae2891bcd02ae4f920ceb27006}, intrahash = {b4303b9c0768ec2600ab42e34b5b0f90}, isbn = {978-3-642-41201-1}, keywords = {}, pages = {4-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:23:11.000+0100}, title = {Algebraic Laws for Process Subtyping.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#DihegoAS13}, volume = 8144, year = 2013 }