• Title of article

    Modelling the semantics of multitasking facilities in Concurrent C using Petri nets

  • Author/Authors

    Abdulaziz Boujarwah، نويسنده , , Nadia Al-Seif، نويسنده , , Kassem Saleh، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 1996
  • Pages
    7
  • From page
    3
  • To page
    9
  • Keywords
    Concurrent C , Concurrent programming , Petri nets , Multitasking , real-time systems , Semantics
  • Journal title
    Information and Software Technology
  • Serial Year
    1996
  • Journal title
    Information and Software Technology
  • Record number

    134360