• DocumentCode
    1491433
  • Title

    Correction to ´Protocol conversion´

  • Author

    Lam, Simon S.

  • Author_Institution
    Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
  • Volume
    14
  • Issue
    9
  • fYear
    1988
  • Firstpage
    1376
  • Abstract
    In previously giving a summary of the theory of protocol projection (ibid., vol.14, no.3, p.353-62, Mar. 1988), an incorrect statement was made. A given statement is claimed to be false, and is corrected accordingly.<>
  • Keywords
    protocols; protocol projection; Cities and towns; Logic; Protocols; Sufficient conditions; Testing;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.6181
  • Filename
    6181
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1491433