Author:
Erdogmus Hakan,Johnston Robert,Ferguson Michael
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. Observation equivalence as a testing equivalence;Abramski;Theoret. Comput. Sci.,1987
2. CONCUR '90 — Theories of Concurrency: Unification and Extension,1990
3. Algebra of communicating processes with abstraction;Bergstra;Theoret. Comput. Sci.,1985
4. On the existence of canonical testers;Brinksma,1987
5. A theory of Communicating Sequential Processes;Brookes;J. ACM,1984
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fair testing;Information and Computation;2007-02
2. Erratic Fudgets: a semantic theory for an embedded coordination language;Science of Computer Programming;2003-01
3. Global Timed Bisimulation: An Introduction;IFIP Advances in Information and Communication Technology;1999