%0 Journal Article %1 journals/ijsi/BioglioDGT13 %A Bioglio, Livio %A Dezani-Ciancaglini, Mariangiola %A Giannini, Paola %A Troina, Angelo %D 2013 %J Int. J. Softw. Informatics %K dblp %N 4 %P 501-526 %T Type Directed Semantics for the Calculus of Looping Sequences. %U http://dblp.uni-trier.de/db/journals/ijsi/ijsi7.html#BioglioDGT13 %V 7

@article{journals/ijsi/BioglioDGT13, added-at = {2020-08-06T00:00:00.000+0200}, author = {Bioglio, Livio and Dezani-Ciancaglini, Mariangiola and Giannini, Paola and Troina, Angelo}, biburl = {https://www.bibsonomy.org/bibtex/22c90770bfcbc111469075be972d5ec00/dblp}, ee = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i172}, interhash = {1bfcfea0becb41c02cc28b12ab0ff905}, intrahash = {2c90770bfcbc111469075be972d5ec00}, journal = {Int. J. Softw. Informatics}, keywords = {dblp}, number = 4, pages = {501-526}, timestamp = {2020-08-07T11:46:00.000+0200}, title = {Type Directed Semantics for the Calculus of Looping Sequences.}, url = {http://dblp.uni-trier.de/db/journals/ijsi/ijsi7.html#BioglioDGT13}, volume = 7, year = 2013 }