UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

Functorial models for contextual pre-nets

Bruni, Roberto and Meseguer, J. and Montanari, Ugo and Sassone, Vladimiro (2002) Functorial models for contextual pre-nets. 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 (109Kb)

    Abstract

    The algebraic models of computation for contextual nets that have been proposed in the literature either rely on non-free monoid of objects, or introduce too many behaviors that must be somewhat filtered out. In this report, we exploit partial membership equational logic to define a suitable theory of models, where the meaningful concurrent computations can be selected by means of membership predicates.

    Item Type: Book
    Uncontrolled Keywords: contextual pre-nets, partial membership equational logic, algebraic semantics
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 17 Dec 2014 16:34
    Last Modified: 17 Dec 2014 16:34
    URI: http://eprints.adm.unipi.it/id/eprint/2080

    Repository staff only actions

    View Item