From Flow Logic to Static Type Systems for Coordination Languages

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08)
PublisherSpringer
Publication date2008
Pages100-116
DOIs
Publication statusPublished - 2008
EventInternational Conference on Coordination Models and Languages (Coordination'08) - Osle, Norway
Duration: 4 Jun 20086 Jun 2008
Conference number: 10

Conference

ConferenceInternational Conference on Coordination Models and Languages (Coordination'08)
Number10
CountryNorway
CityOsle
Period04/06/200806/06/2008
SeriesLecture Notes in Computer Science
Number5052
ISSN0302-9743

Cite this

De Nicola, R., Gorla, D., Hansen, R. R., Nielson, F., Nielson, H. R., Probst, C. W., & Pugliese, R. (2008). From Flow Logic to Static Type Systems for Coordination Languages. In Proceedings of the 10th International Conference on Coordination Models and Languages (Coordination'08) (pp. 100-116). Springer. Lecture Notes in Computer Science, No. 5052 https://doi.org/10.1007/978-3-540-68265-3_7