Simultaneity in event structures
PINNA, GIOVANNI MICHELE;SABA, ANDREA
2010-01-01
Abstract
Various brand of event structures, prime, bundle, flow, asymmetric, inhibitor just to mention some, have been proposed to face the various kinds of causality and conflict arising in computation. The notion of simultaneity, i.e., the faithful representation that certain events have to occur together, is usually left out from the models for concurrent computations, with some notably exceptions like Pratt’s Chu spaces or Bruni&Montanari’s Zero-Safe nets. In this paper we propose a notion of event structures with simultaneity to take into account the simultaneity and we relate the introduced notion with the prime event structures and domains.File | Size | Format | |
---|---|---|---|
tamc2010-SiminEvStruct.pdf Solo gestori archivio
Type: versione editoriale
Size 187.86 kB
Format Adobe PDF
|
187.86 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.