Author:
Gupta Vineet,Jagadeesan Radha,Saraswat Vijay
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. S. Abramsky. Interaction categories. Available by anonymous ftp from papers/Abramsky:theory.doc.ic.ac.uk, 1993.
2. Samson Abramsky. Interaction categories and communicating sequential processes. In A. W. Roscoe, editor, A Classical Mind: Essays in honour of C.A. R. Hoare, pages 1–16. Prentice Hall International, 1994.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
4. Albert Benveniste, Bernard C. Levy, Eric Fabre, and Paul Le Guernic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems. Theoretical Computer Science, 152(2):171–217, Dec 1995.
5. R. Cleaveland, S. A. Smolka, and A. Zwarico. Testing preorders for probabilistic processes. Lecture Notes in Computer Science, 623, 1992.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A dynamic default revision mechanism for speculative computation;Autonomous Agents and Multi-Agent Systems;2016-07-26
2. Fond (and Frank) Memories of Frank;Theory and Practice of Formal Methods;2016
3. A Declarative View of Signaling Pathways;Programming Languages with Applications to Biology and Security;2015
4. TCC, with History;Lecture Notes in Computer Science;2014
5. Models and emerging trends of concurrent constraint programming;Constraints;2013-04-21