Author:
de Frutos-Escrig David,Llana-Díaz Luis,Núñez Manuel
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference8 articles.
1. de Nicola R, Hennessy M C B. Testing equivalences for processes.Theoretical Computer Science, 1984, 34: 83–133.
2. Hennessy M.Algebraic Theory of Processes. MIT Press, 1988.
3. Brinksma E, Scollo G, Steenbergen C. LOTOS specifications, their implementations and their tests. InProceedings of Protocol Specification, Testing and Verification VI, North-Holland, 1987, pp.349–360.
4. de Frutos-Escrig D, Llana-Díaz L F, Núñez M. Friendly testing as a conformance relation. InProceedings of Formal Description Techniques for Distributed Systems (X) and Communication Protocols, and Protocol Specification, Testing, and Verification (XVII), Chapman & Hall, 1997, pp. 283–298.
5. Hoare C A R.Communicating Sequential Processes. Prentice Hall, 1985.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Preserving Contexts for Soft Conformance Relation;Formal Approaches to Software Testing;2005
2. Fair Testing Through Probabilistic Testing;IFIP Advances in Information and Communication Technology;1999
3. Global Timed Bisimulation: An Introduction;IFIP Advances in Information and Communication Technology;1999