%0 Journal Article %1 journals/jlap/BravettiZ20 %A Bravetti, Mario %A Zavattaro, Gianluigi %D 2020 %J J. Log. Algebraic Methods Program. %K dblp %P 100527 %T Process calculi as a tool for studying coordination, contracts and session types. %U http://dblp.uni-trier.de/db/journals/jlap/jlap112.html#BravettiZ20 %V 112

@article{journals/jlap/BravettiZ20, added-at = {2020-03-26T00:00:00.000+0100}, author = {Bravetti, Mario and Zavattaro, Gianluigi}, biburl = {https://www.bibsonomy.org/bibtex/2e0a5f252871e856c26e59dcbe327cb99/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2020.100527}, interhash = {580e4d17fd36489da52b5a3ee7ba2ba3}, intrahash = {e0a5f252871e856c26e59dcbe327cb99}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, pages = 100527, timestamp = {2020-03-27T11:39:07.000+0100}, title = {Process calculi as a tool for studying coordination, contracts and session types.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap112.html#BravettiZ20}, volume = 112, year = 2020 }