Advertisement

Understanding nets

  • B. A. Trakhtenbrot
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 379)

References

  1. [Br]
    Broy, M., Semantics of finite and infinite networks of concurrent communicating agents, Distributed Computing (1987) 2:13–31.Google Scholar
  2. [Ka]
    Kahn, G., The Semantics for a Simple Language for Parallel Programming, IFIP 74.Google Scholar
  3. [M]
    Misra, J., Equational Reasoning About Nondeterministic Processes, Department of Computer Sciences, The University of Texas at Austin, Technical Report, April 1989.Google Scholar
  4. [Maz]
    Mazurkiewicz, A., Semantics of Concurrent Systems: A modular fixed point Trace approach. In advances in Petri Nets 1984 LNCS 188.Google Scholar
  5. [Pr]
    Pratt, V., Modelling Concurrency with Partial Orders, International Journal of Parallel Programming, Vol. 15, No. 1, 1986.Google Scholar
  6. [RT1]
    Rabinovich, A., Trakhtenbrot, B.A., Behavior structures and nets of processes. In Fundamenta Informaticae, Vol. xi, North Holland — Amsterdam, 357–403 (1988).Google Scholar
  7. [RT2]
    Rabinovich, A., Trakhtenbrot, B.A., Nets of processes and data flow. In “Lecture Notes in Computer Science”, J.W de Bakker, W.P. de Roever and G. Rozenberg (eds.), Springer Verlag, 1989, p. 574-.Google Scholar
  8. [RT3]
    Rabinovich, A., Trakhtenbrot, B.A., Nets and data flow interpreters. In Proceedings of LICS (Fourth Annual Symposium, June 1989, Asilomar, California, USA.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • B. A. Trakhtenbrot
    • 1
  1. 1.School of Mathematical Sciences Raymond and Beverly Sackler Faculty of Exact SciencesTel-Aviv UniversityTel-AvivIsrael

Personalised recommendations