Hybrid I/O Automata (extended abstract) (2007)
N. Lynch, R. Segala, F. Va, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, ...
and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of
Dynamic Load Balancing with Group Communication (Extended Abstract) (1999)
S. Dolev, R. Segala, A. Shvartsman
S. DOLEV Ben-Gurion University, Israel R. SEGALA Universita di Bologna, Italy A. SHVARTSMAN University of Connecticut and MIT, USA Abstract This work considers the problem of efficiently performing a...
N. Lynch, R. Segala, F. W. Va, Nancy Lynch, Roberto Segala, Frits Vaandrager
Hybrid systems are systems that exhibit a combination of discrete and continuous behavior. Typical hybrid systems include computer components, which operate in discrete program steps, and real-world...