Making Reactive Systems Highly Reliable by Hypersequential Programming Authors Naoshi UCHIHIRA Downloads Requires Subscription PDF Published 2005-04-01 Issue Vol. E88-A, No. 4 April 2005 Section Papers