Skip to main content
SpringerLink
Log in

A lattice theoretic view of K-density

  • Conference paper
  • First Online:
Advances in Petri Nets 1984

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

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. E. Best, A Theorem on the Characteristics of Non-sequential Processes. Fundamenta Informaticae, Vol. 3, (1980), 77–94.

    Google Scholar 

  2. E. Best and A. Merceron, Some Properties of Non-sequential Processes. GMD-ISF report 82.07, Schloβ Birlinghoven, 5205 St. Augustin W. Germany (1982).

    Google Scholar 

  3. C. Fernandez and P.S. Thiagarajan, D-continuous Causal Nets: A Model of Non-sequential Processes. GMD-ISF report 82.05, Schloβ Birlinghoven, 5205 St. Augustin W. Germany (1982). Also to appear in TCS.

    Google Scholar 

  4. A.W. Holt et al., Information System Theory Project. Final Report, RADC-TR-G8-305, Applied Data Research Inc., Princeton, New Jersey, USA (1968).

    Google Scholar 

  5. M. Nielson, G. Plotkin and G. Winskel, Petri Nets, Event Structures and Domains, Part I, Theoretical Computer Science 13 (1981), 85–108.

    Article  Google Scholar 

  6. C.A. Petri, Non-sequential Processes, Interner Bericht ISF-77-5, GMD, Schloβ Birlinghoven, 5205 St. Augustin, W. Germany (1977).

    Google Scholar 

  7. C.A. Petri, Concurrency. Lecture Notes in Computer Science, Ed. W. Brauer, Vol. 84, 251–260, Springer Verlag (1980).

    Google Scholar 

  8. J. Winkowski, Behaviours of Concurrent Systems, Theoretical Computer Science 12 (1980), 39–60.

    Google Scholar 

  9. G. Winskel, Events in Computation, Ph.D. Thesis, University of Edinburgh, Edinburgh, Great Britain (1980).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Schloß Birlinghoven, Postfach 1240, 5205, St. Augustin 1, W. Germany

    C. Fernández & P. S. Thiagarajan

Authors
  1. C. Fernández
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. S. Thiagarajan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fernández, C., Thiagarajan, P.S. (1985). A lattice theoretic view of K-density. In: Rozenberg, G. (eds) Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15204-0_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-15204-0_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15204-0

  • Online ISBN: 978-3-540-39320-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation