Skip to main content
SpringerLink
Log in

Some properties of event structures

  • Published:
Cybernetics and Systems Analysis Aims and scope

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. C. Petri, “Concurrency as a basis for system thinking,” ISP Report 78.06, St. Augustin: Gesellschaft fur Mathematik und Datenverarbeitung (1978).

    Google Scholar 

  2. C. Petri, “Concurrency,” Lect. Notes Comput. Sci.,84, 261–276 (1980).

    Google Scholar 

  3. E. Best, “The relative strength of K-density,” Lect. Notes Comput. Sci.,84, 261–276 (1980).

    MathSciNet  Google Scholar 

  4. C. Fernandez and P. S. Thiagarajan, “D-continuous causal nets: a model of non-sequential processes,” Theor. Comput. Sci.,28, 171–196 (1984).

    Article  MATH  MathSciNet  Google Scholar 

  5. E. Best, C. Fernandez, and H. Plunnecke, Concurrent Systems and Processes. Final Report on the Foundational Part of the Project BEGRUND, FMP-Studien No. 107, GMD, St. Augustin (1985).

    Google Scholar 

  6. H. Plunnecke, “K-density, N-density, and finiteness properties,” Lect. Notes Comput. Sci.,188, 392–412 (1984).

    MathSciNet  Google Scholar 

  7. L. A. Cherkasova and V. E. Kotov, “Descriptive and analytical process algebras,” Lect. Notes Comput. Sci.,424, 77–104 (1989).

    MathSciNet  Google Scholar 

  8. M. Nielsen, G. Plotkin, and G. Winskel, “Petri nets, event structures and domains,” Theor. Comput. Sci.,13, 85–108 (1981).

    Article  MATH  MathSciNet  Google Scholar 

  9. G. Winskel, “An introduction to event structures,” Lect. Notes Comput. Sci.,354, 364–397 (1988).

    Article  MathSciNet  Google Scholar 

  10. I. Virbitskaite, “Some characteristics of nondeterministic processes,” Parallel Processing Letters,3, 99–106 (1993).

    Article  MathSciNet  Google Scholar 

  11. I. Virbitskaite and E. Bozhenkova, “Unified characterization of some properties of event structures,” Proc. Int. Conf. CONPAR '94, VAPP VI, Linz, Austria, Sept. 1994, RISC-Linz Report Series, No. 94–48 (1994), pp. 29–32.

  12. G. Boudol and I. Castellani, “Concurrency and atomicity,” Theor. Comput. Sci., No. 59, 25–84 (1988).

  13. I. Virbitskaite, “Observing some properties of event structures,” Lect. Notes Comput. Sci.,735, 259–270 (1993).

    MathSciNet  Google Scholar 

  14. I. Virbitskaite and A. Votintseva, “Notes on logical axiomatization of density concepts,” in: Specification, Verification and Net Models of Concurrent Systems, Inst. Inform. Sys., Novosibirsk (1994), pp. 18–32.

    Google Scholar 

Download references

Authors
  1. I. B. Virbitskaite
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The research is partially financed by the Russian Foundation of Basic Research, grant No. 96-01-01655, and the Volkswagen Foundation, grant No. 1/70564.

Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 43–52, May–June, 1997.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Virbitskaite, I.B. Some properties of event structures. Cybern Syst Anal 33, 338–344 (1997). https://doi.org/10.1007/BF02733067

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02733067

Keywords

Search

Navigation