Author:
Brinksma E.,Rensink A.,Vogler W.
Reference19 articles.
1. Baeten, J.C.M. and Weijland, W.P. (1990) Process Algebra, Cambridge University Press.
2. Bolognesi, T. and Brinksma, E. (1987) Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, 14, 25–59.
3. Brinksma, E. (1988) A theory for the derivation of tests, in Protocol Specification, Testing, and Verification VIII (eds. S. Aggarwal and K. Sabnani ), pp. 63–74, Elsevier Science Pub. B.V.
4. Brinksma, E. (1995) Cache consistency by design, in Protocol Specification, Testing, and Verification, XIV (eds. S. Vuong and S. Chanson ), pp. 53–67, IFIP Series, Chapman & Hall.
5. Brinksma, E., Rensink, A. and Vogler, W. (1995) Fair testing, in Concur ’85: Concurrency Theory (eds. I. Lee and S. A. Smolka), pp. 313–27, vol. 962 of LNCS, Springer-Verlag.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Explicit fairness in testing semantics;Logical Methods in Computer Science;2009-06-22
2. Fair testing;Information and Computation;2007-02
3. Stepwise Refinement of Processes;Electronic Notes in Theoretical Computer Science;2006-08
4. Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts;Automated Technology for Verification and Analysis;2004
5. The Join Calculus: A Language for Distributed Mobile Programming;Lecture Notes in Computer Science;2002