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
Keywords :
Concurrent C , Concurrent programming , Petri nets , Multitasking , real-time systems , Semantics
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology