Interpreted systems semantics for process algebra with identity annotations

F. Dechesne, M.R. Mousavi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)

    Abstract

    Process algebras have been developed as formalisms for specifying the behavioral aspects of protocols. Interpreted systems have been proposed as a semantic model for multi-agent communication. In this paper, we connect these two formalisms by defining an interpreted systems semantics for a generic process algebraic formalism. This allows us to translate and compare the vast body of knowledge and results for each of the two formalisms to the other and perform epistemic reasoning, e.g., using model-checking tools for interpreted systems, on process algebraic specifications. Based on our translation we formulate and prove some results about the interpreted systems generated by process algebraic specifications.
    Original languageEnglish
    Title of host publicationLanguage, Logic and Computation (9th International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011. Revised selected papers)
    EditorsG. Bezhanishvili, S. Löbner, V. Marra, F. Richter
    Place of PublicationBerlin
    PublisherSpringer
    Pages182-205
    ISBN (Print)978-3-642-36975-9
    DOIs
    Publication statusPublished - 2013
    Eventconference; 9th International Tbilisi Symposium on Language, Logic and Computation; 2011-09-26; 2011-09-30 -
    Duration: 26 Sep 201130 Sep 2011

    Publication series

    NameLecture Notes in Computer Science
    Volume7758
    ISSN (Print)0302-9743

    Conference

    Conferenceconference; 9th International Tbilisi Symposium on Language, Logic and Computation; 2011-09-26; 2011-09-30
    Period26/09/1130/09/11
    Other9th International Tbilisi Symposium on Language, Logic and Computation

    Fingerprint

    Dive into the research topics of 'Interpreted systems semantics for process algebra with identity annotations'. Together they form a unique fingerprint.

    Cite this