Congruence from the operator's point of view : compositionality requirements on process semantics

M.W. Gazda, W.J. Fokkink

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

    6 Citations (Scopus)

    Abstract

    One of the basic sanity properties of a behavioural semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by the development of rule formats for transition system specifications that define process algebras. In this paper we suggest a novel, orthogonal approach. Namely, we focus on a number of process operators, and for each of them attempt to find the widest possible class of congruences. To this end, we impose restrictions on sublanguages of Hennessy-Milner logic, so that a semantics whose modal characterization satisfies a given criterion is guaranteed to be a congruence with respect to the operator in question. We investigate action prefix, alternative composition, two restriction operators, and parallel composition.
    Original languageEnglish
    Title of host publicationSeventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010)
    EditorsL. Aceto, P. Sobocinski
    Pages15-25
    DOIs
    Publication statusPublished - 2010

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science
    Volume32
    ISSN (Print)2075-2180

    Fingerprint Dive into the research topics of 'Congruence from the operator's point of view : compositionality requirements on process semantics'. Together they form a unique fingerprint.

  • Cite this

    Gazda, M. W., & Fokkink, W. J. (2010). Congruence from the operator's point of view : compositionality requirements on process semantics. In L. Aceto, & P. Sobocinski (Eds.), Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010) (pp. 15-25). (Electronic Proceedings in Theoretical Computer Science; Vol. 32). https://doi.org/10.4204/EPTCS.32.2