Fingerprint
Dive into the research topics of 'From Flow Logic to Static Type Systems in Coordination Languages'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
From Flow Logic to Static Type Systems in Coordination Languages
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review