Algebraic theories for contextual pre-nets

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Research output: Contribution to journalArticlepeer-review

Abstract

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.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Algebraic theories for contextual pre-nets'. Together they form a unique fingerprint.

Cite this