Author:
Kangas Antero,Valmari Antti
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. Testing Equivalence as a Bisimulation Equivalence;Cleaveland;Formal Aspects of Computing,1993
2. Graf S. and B. Steffen, Compositional Minimization of Finite State Processes, Proceedings of Computer-Aided Verification '90, AMS-ACM DIMACS Series in Discrete Mathematics and Theoretical Computer Science 3 (1991), 57–73.
3. Karvi T., “Partially Defined Lotos Specifications and their Refinement Relations”. Ph.D. Thesis. University of Helsinki, Finland, 2000, 157 pp.
4. Modal Specifications;Larsen,1989
5. “Communication and Concurrency”;Milner,1989
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. External Behaviour of Systems of State Machines with Variables;Transactions on Petri Nets and Other Models of Concurrency VII;2013
2. Tampere Verification Tool;Tools and Algorithms for the Construction and Analysis of Systems;2004