A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems

Jean-Pierre Talpin, David Nowak. A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. In Vikraman Arvind, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Volume 1530 of Lecture Notes in Computer Science, pages 78-89, Springer, 1998.

Abstract

Abstract is missing.