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 proceedingArticle in proceedingsResearchpeer-review


    Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and correctness of their interaction. Successful approaches to this problem have been based on type systems with dynamic checks; therefore, the correctness properties cannot be statically enforced. By contrast, static analysis approaches based on Flow Logic usually guarantee properties statically. In this paper we show how to combine these two approaches to obtain a static type system for describing secure access to tuple spaces and safe process migration for a dialect of the language Klaim.
    Original languageEnglish
    Title of host publicationCoordination Models and Languages : 10th International Conference, COORDINATION 2008
    Publication date2008
    ISBN (Print)978-3-540-68264-6
    Publication statusPublished - 2008
    Event10th International Conference Coordination Models and Languages - Oslo, Norway
    Duration: 4 Jun 20086 Jun 2008
    Conference number: 10


    Conference10th International Conference Coordination Models and Languages
    Internet address
    SeriesLecture Notes in Computer Science

    Bibliographical note

    This work has been supported by the EU project SENSORIA, IST-2005-016004.

    Fingerprint Dive into the research topics of 'From Flow Logic to Static Type Systems in Coordination Languages'. Together they form a unique fingerprint.

    Cite this