%0 Journal Article %1 journals/corr/abs-1201-1716 %A Mazur, Tomasz %A Lowe, Gavin %D 2012 %J Logical Methods in Computer Science %K dblp %N 1 %T A type reduction theory for systems with replicated components %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1201-1716 %V 8

@article{journals/corr/abs-1201-1716, added-at = {2019-05-14T00:00:00.000+0200}, author = {Mazur, Tomasz and Lowe, Gavin}, biburl = {https://www.bibsonomy.org/bibtex/2ea4a7ea94cb3955b1c86ee24011b4fc7/dblp}, ee = {http://arxiv.org/abs/1201.1716}, interhash = {8d965c779347fb5d9e58a16aaed6fb1e}, intrahash = {ea4a7ea94cb3955b1c86ee24011b4fc7}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:42.000+0200}, title = {A type reduction theory for systems with replicated components}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1201-1716}, volume = 8, year = 2012 }