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

Cached

Download Links

by Jean-Pierre Talpin , David Nowak
Venue:Conference on Foundations of Software Technology and Theoretical Computer Science
Citations:5 - 2 self