Global Timed Bisimulation: An Introduction-Reference-Cited by-同舟云学术

Global Timed Bisimulation: An Introduction

Published:1999 Issue: Volume: Page:401-416
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

de Frutos-Escrig David,López Natalia,Núñez Manuel

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35578-8_23

Reference11 articles.

1. D. de Frutos-Escrig, L.F. Liana-Díaz, and M. Núnez. Friendly testing as a conformance relation. In Formal Description Techniques for Distributed Systems and Communication Protocols (X), and Protocol Specification, Testing, and Verification (XVII), pages 283–298. Chapman and Hall, 1997.

2. D. de Frutos-Escrig, L.F. Liana-Díaz, and M. Núnez. An invitation to friendly testing. Journal of Computer Science and Technology, 13 (6): 531–545, 1998.

3. D. de Frutos-Escrig, N. López, and M. Núnez. Global bisimulations. Technical Report SIP 91/99, Dept. de Sistemas Informâticos y Programación. Universidad Complutense de Madrid, 1999.

4. R. de Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34: 83–133, 1984.

5. H. Erdogmus, R. Johnston, and M. Ferguson. On the operational semantics of nondeterminism and divergence. Theoretical Computer Science, 159: 271–317, 1996.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An approach for machine-assisted verification of Timed CSP specifications;Innovations in Systems and Software Engineering;2010-04-08

2. Preserving Contexts for Soft Conformance Relation;Formal Approaches to Software Testing;2005

3. Bisimulations Up-to for the Linear Time Branching Time Spectrum;Lecture Notes in Computer Science;2005

4. A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata;Automated Technology for Verification and Analysis;2004