An object oriented model for parallel and reactive systems.

Ammar Attoui, Michel Schneider

Browse the full RTSS paper archive.