From Explicit to Symbolic Types for Communication Protocols in CCS

Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    We study communication protocols having several rounds and expressed in value passing CCS. We develop a type-based analysis for providing an explicit record of all communications and show the usual subject reduction result. Since the explicit records can be infinitely large, we also develop a type-based analysis for providing a finite, symbolic record of all communications. We show that it correctly approximates the explicit record and prove an adequacy result for it.
    Original languageEnglish
    Title of host publicationFormal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
    PublisherSpringer
    Publication date2012
    Pages74-89
    ISBN (Print)978-3-642-24932-7
    DOIs
    Publication statusPublished - 2012
    EventSymposium in honor of Carolyn Talcott - Menlo Park, California, USA
    Duration: 1 Jan 2012 → …

    Conference

    ConferenceSymposium in honor of Carolyn Talcott
    CityMenlo Park, California, USA
    Period01/01/2012 → …
    SeriesLecture Notes in Computer Science
    Number7000
    ISSN0302-9743

    Fingerprint Dive into the research topics of 'From Explicit to Symbolic Types for Communication Protocols in CCS'. Together they form a unique fingerprint.

    Cite this