Author:
Mendler Michael,Lüttgen Gerald
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science;L. Aceto,2006
2. Lecture Notes in Computer Science;L. Aceto,2005
3. Aceto, L., Jeffrey, A.: A complete axiomatization of timed bisimulation for a class of timed regular behaviours. TCS 152(2), 251–268 (1995)
4. Lecture Notes in Computer Science;H.R. Andersen,1994
5. Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. Springer, Heidelberg (1998)