1. History preserving, causal and mixed-ordering equivalence over stable event structures;Aceto;Fund. Inform.,1992
2. Timing and causality in process algebra;Aceto;Acta Inform.,1996
3. Process algebra with timing: real time and discrete time;Baeten,2001
4. M. Bednarczyk, Hereditary history preserving bisimulation or what is the power of the future perfect in program logics, Technical Report, Polish Academy of Sciences, Gdańsk, 1991.
5. B. Bérard, A. Labroue, P. Schnoebelen, Verifying performance equivalence for timed basic parallel processes, in: Proc. FOSSACS’00, Lecture Notes in Computer Science, Vol. 1784, 2000, pp. 35–47.