• DocumentCode
    2211384
  • Title

    Algorithms for signal and message asynchronous communication mechanisms and their analysis

  • Author

    Xia, Fei ; Clark, Ian

  • Author_Institution
    Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    65
  • Lastpage
    74
  • Abstract
    This paper presents new algorithms for the Signal and Message asynchronous data communication mechanisms (ACMs) and their modelling and analysis using Petri net techniques
  • Keywords
    Petri nets; communicating sequential processes; Petri net; asynchronous data communication mechanisms; communicating processes; heterogeneously timed systems; Algorithm design and analysis; Asynchronous communication; Computer interfaces; Data communication; Data engineering; Educational institutions; Maintenance engineering; Protocols; Signal analysis; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
  • Conference_Location
    Newcastle upon Tyne
  • Print_ISBN
    0-7695-1071-X
  • Type

    conf

  • DOI
    10.1109/CSD.2001.981765
  • Filename
    981765