%0 Journal Article %1 journals/fac/HennessyL96 %A Hennessy, Matthew %A Lin, Huimin %D 1996 %J Formal Asp. Comput. %K dblp %N 4 %P 379-407 %T Proof Systems for Message-Passing Process Algebras. %U http://dblp.uni-trier.de/db/journals/fac/fac8.html#HennessyL96 %V 8

@article{journals/fac/HennessyL96, added-at = {2011-05-25T00:00:00.000+0200}, author = {Hennessy, Matthew and Lin, Huimin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2399be7d0d9893411eef84ea54af21834/dblp}, ee = {http://dx.doi.org/10.1007/BF01213531}, interhash = {d4a82dd4acbabd7f4dcb4ed2dda0bc32}, intrahash = {399be7d0d9893411eef84ea54af21834}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 4, pages = {379-407}, timestamp = {2016-02-02T10:13:57.000+0100}, title = {Proof Systems for Message-Passing Process Algebras.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac8.html#HennessyL96}, volume = 8, year = 1996 }