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.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (109Kb) |
Official URL: http://compass2.di.unipi.it/TR/files/TR-02-09.ps.g...
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 |