Università di Pisa
Sistema bibliotecario di ateneo

Normal Forms for Stateless Connectors

Bruni, Roberto and Montanari, Ugo and Lanese, Ivan (2005) Normal Forms for Stateless Connectors. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (164Kb)


    The conceptual separation between computation and coordination in distributed computing systems motivates the use of peculiar entities commonly called connectors, whose task is managing the interaction among distributed components. Different kinds of connectors exist in the literature at different levels of abstraction. We focus on a basic algebra of connectors which is expressive enough to model e.g. all the architectural connectors of CommUnity. We first define the operational, observational and denotational semantics of connectors, then we show that the observational and denotational semantics coincide and finally we give a complete normal-form axiomatization.

    Item Type: Book
    Uncontrolled Keywords: Algebraic semantics, categorical semantics, connectors, Tile Model, normal forms, monoidal categories, CommUnity
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 09 Dec 2014 11:21
    Last Modified: 09 Dec 2014 11:21
    URI: http://eprints.adm.unipi.it/id/eprint/2140

    Repository staff only actions

    View Item