Author:
de Frutos Escrig David,Rodríguez Carlos Gregorio
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;M. Boreale,2003
2. Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Formal Aspects of Computing 3, 1–21 (1992)
3. Cleaveland, R., Smolka, S.A.: Strategic directions in concurrency research. ACM Computing Surveys 28(4), 607–625 (1996)
4. de Frutos-Escrig, D., Gregorio-Rodríguez, C.: Semantics equivalences defined with global bisimulations. Annual meeting of the IFIP Working Group 2.2, Bertinoro, Italy (September 2004)
5. de Frutos-Escrig, D., López, N., Núñez, M.: Global timed bisimulation: An introduction. In: Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX, pp. 401–416. Kluwer Academic Publishers, Dordrecht (1999)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献