From Flow Logic to Static Type Systems for Coordination Languages

Rocce De Nicola, Daniele Gorla, Rene Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

Research output: Contribution to journalJournal articleResearchpeer-review

14 Citations (Scopus)
Original languageEnglish
JournalScience of Computer Programming
Volume75
Issue number6
Pages (from-to)376-397
ISSN0167-6423
DOIs
Publication statusPublished - Jun 2010

Cite this