Advertisement

Petri nets, event structures and domains

  • Mogens Nielsen
  • Gordon Plotkin
  • Glynn Winskel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 70)

Keywords

Partial Order Event Structure Observable State Observable Case Finite Depth 
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. [Bes]
    Best, E. (1977) A Theorem on the Characteristics of Non-Sequential Processes. Computing Laboratory Technical Report No. 116, University of Newcastle-upon-Tyne.Google Scholar
  2. [Kah]
    Kahn, G. and Plotkin, G.D. (1978) Domaines Concrets. IRIA Rapport de Recherche No. 336, IRIA, France.Google Scholar
  3. [Mar]
    Markowsky, G. and Rosen, B. (1976) Bases for Chain-Complete Posets. IBM J. Res. and Develop., Vol. 20, 138–147.Google Scholar
  4. [Maz]
    Mazurkiewicz, A. (1977) Concurrent Program Schemes and their Interpretations, DAIMI PB-78 (Aarhus Univ. Publ.), July 1977.Google Scholar
  5. [Pet1]
    Petri, C.A. (1976) Nichtsequentielle Prozesse Arbeitsberichte des IMMD, Bd. 9, Heft. 8, p.57ff. Universität Erlangen-Nürnberg. Also: Non-Sequential Processes, Translation by P. Krause and J. Low. Internal Report GMD-ISF-77-05. Bonn (1977).Google Scholar
  6. [Pet2]
    Petri, C.A. (1977) General Net Theory. Communication Disciplines. Proc. Joint IBM Univ. of Newcastle Seminar 1976 (ed. B. Shaw) University of Newcastle-upon-Tyne.Google Scholar
  7. [Sco1]
    Scott, D. (1970) Outline of a Mathematical Theory of Computation. Proc. of 4th Ann. Princeton Conf. on Information Sciences and Systems, pp. 169–176.Google Scholar
  8. [Sco2]
    Scott, D. (1971) The lattice of flow diagrams. Symposium on Semantics of Algorithmic Languages (ed. E. Engeler) Lecture Notes in Mathematics, Vol. 188, Springer-Verlag, New York, pp. 311–366.Google Scholar
  9. [Sco3]
    Scott, D. (1976) Data Types as Lattices. SIAM J. Comput., Vol. 5, No. 3, 522–587.CrossRefGoogle Scholar
  10. [Sto]
    Stoy, J.E. (1978) Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Cambridge: MIT Press.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Mogens Nielsen
    • 1
  • Gordon Plotkin
    • 2
  • Glynn Winskel
    • 2
  1. 1.Computer Science DepartmentUniversity of AarhusAarhus CDenmark
  2. 2.Dept. of Artificial IntelligenceUniversity of EdinburghEdinburghScotland

Personalised recommendations