Event Algebra for Transition Systems Composition - Application to Timed Automata.

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali

Browse the full TIME paper archive.