External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

From Flow Logic to static type systems for coordination languages

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]

Authors

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Daniele Gorla

This author has not been identified. Look up 'Daniele Gorla' in Google

René Rydhof Hansen

This author has not been identified. Look up 'René Rydhof Hansen' in Google

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google

Christian W. Probst

This author has not been identified. It may be one of the following persons: Look up 'Christian W. Probst' in Google

Rosario Pugliese

This author has not been identified. Look up 'Rosario Pugliese' in Google
runs on