Advertisement

Some properties of D-continuous causal nets

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

Keywords

Natural Order Concurrent System Continuous Lattice Sequential Component Algebraic Lattice 
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.
    C.A.Petri: Introduction to General Net Theory. Lecture Notes in Computer Science, Ed. W.Brauer, Vol. 84, Springer Verlag (1980).Google Scholar
  2. 2.
    C.A.Petri: Non-Sequential Processes. Interner Bericht ISF-77-5, Gesellschaft für Mathematik und Datenverarbeitung, 5205 St. Augustin 1, W.Germany (1977).Google Scholar
  3. 3.
    C.A.Petri: Concurrency. Lecture Notes in Computer Science, Ed. W.Brauer, Vol. 84, Springer Verlag (1980).Google Scholar
  4. 4.
    H.J.Genrich, K.Lautenbach and P.S.Thiagarajan: Elements of General Net Theory. Lecture Notes in Computer Science, Ed. W.Brauer, Vol. 84, Springer Verlag (1980).Google Scholar
  5. 5.
    M.Nielson, G.Plotkin and G.Winskel: Petri Nets, Event Structures and Domains, Part I. Theoretical Computer Science, Vol. 13, No. 1 (1981). pp. 85–108.MathSciNetCrossRefGoogle Scholar
  6. 6.
    G.Winskel: Events in Computation. CST-10-80. Ph.D.Dissertation, Department of Computer Science, University of Edinburgh, G.B. (1980).Google Scholar
  7. 7.
    C.A.Petri: State-Transition Structures in Physics and Computation. To Appear in International Journal of Theoretical Physics, Vol. 21, No. 10/11 (1982).Google Scholar
  8. 8.
    C.Fernández and P.S.Thiagarajan: Some Properties of D-continuous Causal Nets. ISF-Report 81.02, Gesellschaft für Mathematik und Datenverarbeitung, 5205 St.Augustin, W.Germany (1981).Google Scholar
  9. 9.
    G.Gierz, K.H.Hoffman, K.Keimal, J.D.Lawson, M.Mislove and D.Scott: A Compendium of Continuous Lattices, Springer Verlag, Berlin, Heidelberg, New York (1980).CrossRefGoogle Scholar
  10. 10.
    E.Best: A Theorem on the Characteristics of Non-Sequential Processes. Fundamente Informaticae, Vol. 3, No. 1 (1980). pp. 77–94.MathSciNetzbMATHGoogle Scholar
  11. 11.
    A.W.Holt et al.: Information System Theory Project. Final Report, RADC-TR-G8-305, Applied Data Research Inc., Princeton New Jersey, U.S.A. (1968).Google Scholar
  12. 12.
    A.Mazurkiewicz: Concurrent Program Schemes and their Interpretation. Report DAIMI PB-78, Computer Science Department, Aarhus University, Aarhus, Denmark (1977).Google Scholar
  13. 13.
    J. Winkowski: Behaviours of Concurrent Systems. Theoretical Computer Science, Vol. 12, No. 1 (1980). pp 39–60.MathSciNetCrossRefGoogle Scholar
  14. 14.
    H.Plünnecke: Schnitte in Halbordnungen. ISF-Report 81.09, Gesellschaft für Mathematik und Datenverarbeitung, 5205 St. Augustin, West Germany (1981).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

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

Personalised recommendations