Decision Problems for Global Protocol Specifications

Elaine Li, The Concurrency Column by Marino Miculan and Nobuko Yoshida

Abstract


Decision Problems for
Global Protocol Specifications

Full Text:

PDF

Refbacks

  • There are currently no refbacks.