Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on Automata, Languages, and Programming

ICALP 1982: Automata, Languages and Programming pp 225–238Cite as

Some properties of D-continuous causal nets

  • Conference paper
  • First Online:

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

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. C.A.Petri: Concurrency. Lecture Notes in Computer Science, Ed. W.Brauer, Vol. 84, Springer Verlag (1980).

    Google Scholar 

  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. 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.

    Article  MathSciNet  Google Scholar 

  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. 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. 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. 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).

    Book  Google Scholar 

  10. E.Best: A Theorem on the Characteristics of Non-Sequential Processes. Fundamente Informaticae, Vol. 3, No. 1 (1980). pp. 77–94.

    MathSciNet  MATH  Google Scholar 

  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. A.Mazurkiewicz: Concurrent Program Schemes and their Interpretation. Report DAIMI PB-78, Computer Science Department, Aarhus University, Aarhus, Denmark (1977).

    Google Scholar 

  13. J. Winkowski: Behaviours of Concurrent Systems. Theoretical Computer Science, Vol. 12, No. 1 (1980). pp 39–60.

    Article  MathSciNet  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, 5205, St. Augustin 1, 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

Mogens Nielsen Erik Meineche Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fernández, C., Thiagarajan, P.S. (1982). Some properties of D-continuous causal nets. In: Nielsen, M., Schmidt, E.M. (eds) Automata, Languages and Programming. ICALP 1982. Lecture Notes in Computer Science, vol 140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012772

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11576-2

  • Online ISBN: 978-3-540-39308-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation