Composition methods for constructing characteristic formulas for dense-time models
-
Published:2012-11
Issue:6
Volume:38
Page:304-314
-
ISSN:0361-7688
-
Container-title:Programming and Computer Software
-
language:en
-
Short-container-title:Program Comput Soft
Publisher
Pleiades Publishing Ltd
Reference17 articles.
1. De Nicola, R. and Hennessy, M., Testing Equivalence for Processes, Theoretical Comput. Sci., 1984, vol. 34, pp. 83–133. 2. Cleaveland, R. and Hennessy, M., Testing Equivalence as a Bisimulation Equivalence, Lecture Notes Comput. Sci., 1989, vol. 407, pp. 11–23. 3. Aceto, L., De Nicola, R., and Fantechi, A. Testing Equivalences for Event Structures, Lecture Notes Comput. Sci., 1987, vol. 280, pp. 1–20. 4. Golt, U. and Wehrheim, H., Causal Testing, Lecture Notes Comput. Sci., 1996, vol. 1113, pp. 394–406. 5. Castellani, I. and Hennessy, M., Testing Theories for Asynchronous Languages, Lecture Notes Comput. Sci., 1998, vol. 1530, pp. 90–101.
|
|