Advertisement

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [H]
    Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, (1985).Google Scholar
  2. [Ma]
    Mazurkiewicz, A., Basic Notions of Trace Theory, Lecture Notes in Computer Science 354, 285–363, Springer-Verlag (1988).Google Scholar
  3. [Mi]
    Milner, R., Communication and Concurrency, Prentice Hall, (1989).Google Scholar
  4. [NRT1]
    Nielsen, M., Rozenberg, G., Thiagarajan, P.S., Elementary Transition Systems, DAIMI PB-310, Computer Science Department, Aarhus University (1990), to appear in Theoretical Computer Science.Google Scholar
  5. [NRT2]
    Nielsen, M., Rozenberg, G., Thiagarajan, P.S., Transition Systems, Event Structures and Unfoldings, DAIMI-PB353, Computer Science Department, Aarhus University (1991).Google Scholar
  6. [Re]
    Reisig, W., Petri Nets: an Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, (1985).Google Scholar
  7. [Ro]
    Rozenberg, G., Behaviour of elementary net systems, Lecture Notes in Computer Science 254, 60–94, Springer-Verlag (1987).Google Scholar
  8. [T]
    Thiagarajan, P.S., Elementary net systems, Lecture Notes in Computer Science 254, 26–59, Springer-Verlag (1987).Google Scholar
  9. [W]
    Winskel, G., Event Structures, Lecture Notes in Computer Science 235, 325–392, Springer-Verlag (1987).Google Scholar
  10. [WN]
    Winskel, G., Nielsen, M., Models for Concurrency, in preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Mogens Nielsen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations