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.

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.
2010
978-3-642-13561-3
Event based models; Simultaneity; Domains
File in questo prodotto:
File Dimensione Formato  
tamc2010-SiminEvStruct.pdf

Solo gestori archivio

Tipologia: versione editoriale (VoR)
Dimensione 187.86 kB
Formato Adobe PDF
187.86 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/24154
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact