From flow logic to static type systems for coordination languages

DOI10.1016/j.scico.2009.07.009zbMath1192.68126OpenAlexW2189180081WikidataQ57650737 ScholiaQ57650737MaRDI QIDQ967521

Could not fetch data.

Publication date: 29 April 2010

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.07.009

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.