Skip to main content
SpringerLink
Log in

A disabling of event structures

  • Poster Session
  • Conference paper
  • First Online:
PARLE '93 Parallel Architectures and Languages Europe (PARLE 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 694))

  • 693 Accesses

Abstract

It is well-recognized that event structures are a very suitable model for defining a true concurrency semantic for parallel algebraic languages like CCS and CSP. To define such a semantics in a denotational style a set or operations on the domain of event structures has been introduced. In this paper we add a new operation to this set. It corresponds to a well-known disabling operation in LOTOS, a specification language for distributed systems. A refinement operation is used which simplifies the whole definition. The problem of adequacy of the new operation is discussed. In particular, its consistency is proved by demonstrating how the original interleaving semantics is retrieved from the new one.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anisimov N.A. A Disabling of Event Structures. Internal Report CN-92-01. Institute of Automation & Control Processes, Vladivostok, January 1992.

    Google Scholar 

  2. Bergstra J.A. A Mode Transfer Operator in Process Algebra. Report P8808, University of Amsterdam, Programming Research Group, 1988.

    Google Scholar 

  3. Van Glabbeek, R.J, Goltz U.. Equivalence Notions for Concurrent Systems And Refinement of Actions. LNCS, 379, 1989, pp. 237–248.

    Google Scholar 

  4. Nielsen M., Plotkin G., Winskel G.. Petri Nets, Event Structures and Domains. LNCS, 70, 1979, pp. 266–284.

    Google Scholar 

  5. Olderog E.-R.. Operational Petri Nets Semantics for CCSP. LNCS, 266, 1987, pp. 196–233.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Automation and Control Processes, Far East Division of the Russian Academy of Sciences, 5 Radio Street, 690041, Vladivostok, Russia

    Nikolay A. Anisimov

Authors
  1. Nikolay A. Anisimov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Arndt Bode Mike Reeve Gottfried Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anisimov, N.A. (1993). A disabling of event structures. In: Bode, A., Reeve, M., Wolf, G. (eds) PARLE '93 Parallel Architectures and Languages Europe. PARLE 1993. Lecture Notes in Computer Science, vol 694. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56891-3_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-56891-3_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56891-9

  • Online ISBN: 978-3-540-47779-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation