Author:
Aiguier Marc,Béroff Stefan,Schobbens Pierre-Yves
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Aiguier, M., Béroff, S., Schobbens, P.-Y.: An algebraic approach to real-time specification. Technical report, University of Evry val-d’Essonne (2001)
2. Alur, R., Feder, T., Henzinger, T.: The benefits of relaxing punctuality. Journal of the ACM 43(1), 116–146 (1996)
3. Lecture Notes in Computer Science;R. Alur,1992
4. Astesiano, E., Zucca, E.: D-oids: A model for dynamic data types. Math. Struct. Comp. Sci. 5(2), 257–282 (1995)
5. Baeten, J., Bergstra, J.: Real-time process algebra. Formal Aspects of Computing 3(2), 142–188 (1991)