Advertisement

Proof rules for communication abstractions

  • Gad Taubenfeld
  • Nissim Francez
Session 2 Distributed Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 181)

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Gad Taubenfeld
    • 1
  • Nissim Francez
    • 1
  1. 1.Computer Science Department TechnionHaifaIsrael

Personalised recommendations