Didier Bert;Stéphane Lo Presti
-;-
TAO: temporal algebraic operators for modeling multimedia presentations
Journal of Network and Computer Applications
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques