• Fulltext


        Click here to view fulltext PDF

      Permanent link:

    • Keywords


      Real-time; reactive systems; concurrency; bisimulation; trace equivalence; scheduling

    • Abstract


      In this paper, we discuss the issues and challenges that lie in the specification, development, and verification of real-time systems. In our presentation, we emphasize on the issues underlying modelling of real-time distributed concurrency.

    • Author Affiliations


      R K Shyamasundar1 S Ramesh1 2

      1. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay - 400 005, India
      2. Department of Computer Science and Engineering, Indian Institute of Technology, Powai, Bombay - 400 076, India
    • Dates

  • Sadhana | News

    • Editorial Note on Continuous Article Publication

      Posted on July 25, 2019

      Click here for Editorial Note on CAP Mode

© 2022-2023 Indian Academy of Sciences, Bengaluru.