Author Details

Rafique, Imran

  • Concurrency in Intuitionistic Linear-Time μ-Calculus: A Case study of Manufacturing System

      Ilyas Fakhir,   Syed Asad Raza Kazmi,   Awais Qasim,   Imran Rafique
    Volume 9, Issue 6, February 2016 - Articles

    Abstract  PDF
  • Optimized Application Level Checkpoint Based Load Sharing Model for Heterogeneous Mobile Grid Computing

      Imran Rafique,   Hina Gul,   Salman Rafique,   Syed Asad Raza Kazmi,   Awais Qasim,   Ilyas Fakhir
    Volume 10, Issue 28, July 2017 - Articles

    Abstract  PDF