Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese. From Flow Logic to static type systems for coordination languages. Science of Computer Programming, 75(6):376-397, 2010. [doi]
@article{NicolaGHNNPP10,
title = {From Flow Logic to static type systems for coordination languages},
author = {Rocco De Nicola and Daniele Gorla and René Rydhof Hansen and Flemming Nielson and Hanne Riis Nielson and Christian W. Probst and Rosario Pugliese},
year = {2010},
doi = {10.1016/j.scico.2009.07.009},
url = {http://dx.doi.org/10.1016/j.scico.2009.07.009},
tags = {data-flow language, type system, data-flow, logic},
researchr = {https://researchr.org/publication/NicolaGHNNPP10},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {75},
number = {6},
pages = {376-397},
}