Author:
Gupta Vineet,Jagadeesan Radha,Panangaden Prakash
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. A theory of timed automata
2. R. Alur and T. Henzinger. Logics and models of real-time: a survey. In G. Huizing, W. P. de Roever, and G. Rozenberg, editors,REX workshop Real-time, theory and practice, number 600 in Lecture Notes In Computer Science. Springer-Verlag, 1992.
3. E. J. Anderson and P. Nash.Linear Programming in Infinite-dimensional Spaces. Discrete Mathematics and Computation. Wiley-Interscience, 1987.
4. R. Blute, J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for labelled Markov processes. InProceedings of the Twelfth IEEE Symposium On Logic In Computer Science, Warsaw, Poland., 1997.
5. The theory of interactive generalized semi-Markov processes
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bisimulation for Feller-Dynkin Processes;Electronic Notes in Theoretical Computer Science;2019-11
2. Language-based Abstractions for Dynamical Systems;Electronic Proceedings in Theoretical Computer Science;2017-07-12
3. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations;Tools and Algorithms for the Construction and Analysis of Systems;2017
4. Quantitative Abstractions for Collective Adaptive Systems;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016
5. A unified framework for differential aggregations in Markovian process algebra;Journal of Logical and Algebraic Methods in Programming;2015-03