Author:
Bozhenkova Elena,Virbitskaite Irina,Popova-Zeugmann Louchka
Publisher
Springer International Publishing
Reference19 articles.
1. Aceto, L.: History preserving, causal and mixed-ordering equivalence over stable event structures. Fundamenta Informaticae 17(4), 319–331 (1992)
2. Aceto, L., De Nicola, R., Fantechi, A.: Testing equivalences for event structures. Lect. Notes Comput. Sci. 280, 1–20 (1987)
3. Aura, T., Lilius, J.: A causal semantics for time Petri nets. Theor. Comput. Sci. 243, 409–447 (2000)
4. Andreeva, M., Bozhenkova, E., Virbitskaite, I.: Analysis of timed concurrent models based on testing equivalenc. Fundamenta Informaticae 43, 1–20 (2000)
5. Andreeva, M., Virbitskaite, I.: Observational equivalences for timed stable event structures. Fundamenta Informaticae 72(1–3), 1–19 (2006)