On the nature of events

  • G. Michele PinnaEmail author
  • Axel PoignéEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 629)


We introduce yet another event-based formalism, event automata, which unifies various definitions to be found in the literature. Moreover we discuss various new concepts such as possible events, asymmetric conflict and quiescent states. We also distinguish between specifications and automata which satisfy a specification.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Boudol, G., “Computations of Distributed Systems. Part 1: Flow Event Structures and Flow Nets”, in Semantics of Systems of Concurrent Processes, Lecture Notes in Computer Science 469, 1990, pp. 62–95MathSciNetGoogle Scholar
  2. 2.
    Ehrich, H.-D., Goguen, J.A., Sernadas, A., “A Categorical Theory of Objects as Observed Processes”, Proc. REX/Fool, Nordwijkerhout, 1990Google Scholar
  3. 3.
    Fiadeiro, J., Maibaum, T., “Describing, Structuring and Implementing Objects”, Proc. REX/Fool, Nordwijkerhout, 1990Google Scholar
  4. 4.
    Fiadeiro, J., Sernadas, A., Logics of Modal Terms for System Specification, Journal of Logics and Computation, 1990Google Scholar
  5. 5.
    Gaifman, H., Pratt, V., “Partial Order Models of Concurrency and the Computation of Functions”, in Proc. LICS 87, 1987, pp. 72–85Google Scholar
  6. 6.
    Gaifman, H., “Modeling Concurrency by Partial Orders and Nonlinear Transition Systems”, in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 249, 1989, pp. 467–488MathSciNetCrossRefGoogle Scholar
  7. 7.
    van Glabbeek, R., Talk given at GMD, 1991Google Scholar
  8. 8.
    Goltz, U., Götz, N., Modelling a Simple Communication Protocol in a Language with Action Refinement, draft paperGoogle Scholar
  9. 9.
    Gunawardena, J., Causal Automata I: Confluence = { AND, OR }-Causality, to appear on Theoretical Computer Science Google Scholar
  10. 10.
    Gunawardena, J., “Geometric logic, Causality and Event Structures”, in CONCUR'91, Lecture Notes in Computer Science 527, 1991, pp. 266–280MathSciNetGoogle Scholar
  11. 11.
    Johns tone, P.T., Stone Spaces, Cambrige University Press, 1982Google Scholar
  12. 12.
    Manna, Z., Pnueli, A. “On the Faithfulness of Formal Models”, in, Proc. MFCS '91, Lecture Notes in Computer Science 520, 1991, pp. 23–48MathSciNetGoogle Scholar
  13. 13.
    Murphy, D., Three papers on Classical Concurrency Theory, Technical Report, University of Glasgow, CSC 91/R5, 1991Google Scholar
  14. 14.
    Pinna, G.M., Poigné, A., On the Nature of Events, extended versionGoogle Scholar
  15. 15.
    Pinna, G.M., Poigné, A., The Mathematics of Event Automata, in preparationGoogle Scholar
  16. 16.
    Pratt, V., “Modeling Concurrency with Geometry”, in Proc. of POPL'91, 1991, pp. 311–322Google Scholar
  17. 17.
    Rensink, A., Posets for Configurations!, Memoranda Informatica 91–20, University of Twente, 1991Google Scholar
  18. 18.
    Sernadas, A., Ehrich, H. D., Costa, J. F., From Processes to Objects, The INESC Journal of Research and Development 1, 1990, pp. 7–27Google Scholar
  19. 19.
    Turski, W., Prescribing Behaviours, to appear on Theoretical Computer Science Google Scholar
  20. 20.
    Vaandrager, F.W., A Simple Definition for Parallel Composition of Prime event Event Strucures, Technical Report, CWI Amsterdam, CS-R8903, 1989Google Scholar
  21. 21.
    Winskel, G., Events in Computations, Ph. D. Thesis, University of Edinburgh, CST-10-80, 1980Google Scholar
  22. 22.
    Winskel, G., “Event Structures”, in Petri Nets: Applications and Relationships to other Models of Concurrency, Lecture Notes in Computer Sciences 255, pp. 325–392Google Scholar
  23. 23.
    Winskel, G., Categories of Models for Concurrency, Talk at ESPRIT-BRA CLICS-Meeting, Paris, 1990Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  1. 1.Gesellschaft für Mathematik und DatenverarbeitungBirlinghovenGermany

Personalised recommendations