Advertisement

A lattice theoretic view of K-density

  • C. Fernández
  • P. S. Thiagarajan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 188)

Keywords

Complete Lattice Strong Density Finite Degree Great Lower Bound Information System Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    E. Best, A Theorem on the Characteristics of Non-sequential Processes. Fundamenta Informaticae, Vol. 3, (1980), 77–94.Google Scholar
  2. [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. [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. [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. [5]
    M. Nielson, G. Plotkin and G. Winskel, Petri Nets, Event Structures and Domains, Part I, Theoretical Computer Science 13 (1981), 85–108.CrossRefGoogle Scholar
  6. [6]
    C.A. Petri, Non-sequential Processes, Interner Bericht ISF-77-5, GMD, Schloβ Birlinghoven, 5205 St. Augustin, W. Germany (1977).Google Scholar
  7. [7]
    C.A. Petri, Concurrency. Lecture Notes in Computer Science, Ed. W. Brauer, Vol. 84, 251–260, Springer Verlag (1980).Google Scholar
  8. [8]
    J. Winkowski, Behaviours of Concurrent Systems, Theoretical Computer Science 12 (1980), 39–60.Google Scholar
  9. [9]
    G. Winskel, Events in Computation, Ph.D. Thesis, University of Edinburgh, Edinburgh, Great Britain (1980).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • C. Fernández
    • 1
  • P. S. Thiagarajan
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungSt. Augustin 1W. Germany

Personalised recommendations