We propose a uniform logic characterization of some timed extensions of partial order based equivalences (pomset trace equivalence, testing equivalence, history preserving bisimulation, and hereditary history preserving bisimulation) in the setting of a true concurrency model timed event structures.
Similar content being viewed by others
References
A. Joyal, M. Nielsen, and C. Winskel, “Bisimulation from open maps,” Inf. Comput. 127, No. 2, 164-185 (1996).
G. L. Cattani and V. Sassone, “Higher dimensional transition systems,” In: 11th Annual IEEE Symp. Logic Comp. Sci., pp. 55–62, IEEE Comp. Soc. Press, Washington (1996).
M. Nielsen and A. Cheng, “Observing behaviour categorically,” Lect. Notes Comp. Sci. 1026, 263–278 (1995).
E. S. Oshevskaya, “Open maps bisimulations for higher dimensional automata models,” Lect. Notes Comp. Sci. 5699, 274–286 (2009).
T. Hune and M. Nielsen, “Bisimulation and open maps for timed transition systems,” Fundam. Inform. 38, 61–77 (1999).
I. B. Virbitskaite and N. S. Gribovskaya, “Open maps and observational equivalences for timed partial order models,” Fundam. Inform. 60, No. 1–4, 383–399 (2004).
N. S. Gribovskaya and I. B. Virbitskaite, “Timed delay bisimulation is an equivalence relation for timed transition systems,” Fundam. Inform. 93, No. 1–3, 127–142 (2009).
I. B. Virbitskaite, N. S. Gribovskaya, and E. Best, “A categorical view of timed behaviours,” Fundam. Inform. 102, No. 1, 129–143 (2010).
G. Winskel, “An introduction to event structures,” Lect. Notes Comp. Sci. 354, 364–397 (1988).
G. Boudol and I. Castellani, “Concurrency and atomicity,” Theor. Comp. Sci. 59, 25–84 (1989).
A. Joyal and I. Moerdijk, “A completeness theorem for open maps,” Ann. Pure Appl. Logic 70, 51–86 (1997).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Vestnik Novosibirskogo Gosudarstvennogo Universiteta: Seriya Matematika, Mekhanika, Informatika 13, No. 1, 2013, pp. 32–46.
Rights and permissions
About this article
Cite this article
Gribovskaya, N.S. Logic Unification of Behavioral Equivalences of Timed Event Structures. J Math Sci 203, 478–489 (2014). https://doi.org/10.1007/s10958-014-2151-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10958-014-2151-1