• DocumentCode
    2665732
  • Title

    RTX-Parlog: Real-Time Extended Parlog

  • Author

    Renaux, Douglas ; Dasiewicz, Paul

  • Author_Institution
    University of Waterloo
  • fYear
    1993
  • fDate
    22-24 June 1993
  • Firstpage
    147
  • Lastpage
    153
  • Keywords
    Automatic control; Automatic logic units; Environmental management; Formal specifications; Logic programming; Mathematical model; Message passing; Programming profession; Prototypes; Real time systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on
  • Conference_Location
    Oulu, Finland
  • ISSN
    1068-3070
  • Print_ISBN
    0-8186-4110-X
  • Type

    conf

  • DOI
    10.1109/EMWRT.1993.639082
  • Filename
    639082
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2665732