• Fulltext

       

        Click here to view fulltext PDF


      Permanent link:
      https://www.ias.ac.in/article/fulltext/sadh/017/01/0001-0028

    • 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

© 2021-2022 Indian Academy of Sciences, Bengaluru.