Sciweavers

ICTCS
2003
Springer

Algebraic Theories for Contextual Pre-nets

14 years 4 months ago
Algebraic Theories for Contextual Pre-nets
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious behaviors that must be somewhat filtered out. In this paper, 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.
Roberto Bruni, José Meseguer, Ugo Montanari
Added 07 Jul 2010
Updated 07 Jul 2010
Type Conference
Year 2003
Where ICTCS
Authors Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone
Comments (0)