On describing the behavior and implementation of distributed systems

収録刊行物

• Theoretical Computer Science

  Theoretical Computer Science 13 17-43, 1981