11 search results - page 1 / 3 » The Reactive Engine for Modular Transducers |
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
RTSE
1997
13 years 8 months ago
1997
FSTTCS
1998
Springer
13 years 8 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...