Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines

Uwe Glässer, Mona Vajihollahi. Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines. In Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg, editors, Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France. pages 297-306, Kluwer, 2004.

Abstract

Abstract is missing.