Simultaneity in Event Structures

  • G. Michele Pinna
  • Andrea Saba
Conference paper

DOI: 10.1007/978-3-642-13562-0_35

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6108)
Cite this paper as:
Pinna G.M., Saba A. (2010) Simultaneity in Event Structures. In: Kratochvíl J., Li A., Fiala J., Kolman P. (eds) Theory and Applications of Models of Computation. TAMC 2010. Lecture Notes in Computer Science, vol 6108. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • G. Michele Pinna
    • 1
  • Andrea Saba
    • 1
  1. 1.Dipartimento di Matematica e InformaticaUniversità di CagliariItaly

Personalised recommendations