%0 Journal Article %1 journals/ijfcs/GorrieriM90 %A Gorrieri, Roberto %A Montanari, Ugo %D 1990 %J Int. J. Found. Comput. Sci. %K dblp %N 3 %P 277-294 %T Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing. %U http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs1.html#GorrieriM90 %V 1

@article{journals/ijfcs/GorrieriM90, added-at = {2012-09-14T00:00:00.000+0200}, author = {Gorrieri, Roberto and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/2c99c2213f48e1adc36622a332fb91781/dblp}, ee = {http://dx.doi.org/10.1142/S0129054190000205}, interhash = {1caf977ce83ad4e72338ab7ae576db4c}, intrahash = {c99c2213f48e1adc36622a332fb91781}, journal = {Int. J. Found. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {277-294}, timestamp = {2012-09-15T11:33:39.000+0200}, title = {Towards Hierarchical Description of Systems: A Proof System for Strong Prefixing.}, url = {http://dblp.uni-trier.de/db/journals/ijfcs/ijfcs1.html#GorrieriM90}, volume = 1, year = 1990 }