Author:
Boreale Michele,Nicola Rocco,Pugliese Rosario
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. S. Abramsky. The lazy lambda calculus. Research Topics in Functional Programming, David Turner, ed., Addison-Wesley, 1990.
2. B. Bloom, S. Istrail, A.R. Meyer. Bisimulation can't be traced. Journal of the ACM, 42(1):232–268, 1995.
3. E. Brinksma, A. Rensink, W. Vogler. Fair Testing. Proceedings of CONCUR'95, LNCS 962, pages 313–327, Springer, 1995.
4. E. Brinksma, A. Rensink, W. Vogler. Applications of Fair Testing. In R. Gotzhein and J. Bredereke, ed., Formal Description Techniques IX, Chapman & Hall, 1996.
5. S.D. Brookes, C.A.R. Hoare, A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560–599, 1984.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Asynchronous Observations of Processes;Lecture Notes in Computer Science;1998