Event Algebra for Transition Systems Composition - Application to Timed Automata

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Event Algebra for Transition Systems Composition - Application to Timed Automata. In 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013. pages 125-132, IEEE, 2013. [doi]

Abstract

Abstract is missing.