In this thesis we present a method for slack matching asynchronous circuits, described as a collection of handshaking expansions.We present an execution model for a restricted class of HSE.

• 近年来由于城市工业化与都市化之形成，造成汽机车快速成长，使得都会区原有设计之道路容量已趋于饱和状态，而呈现交通壅塞之情形。