Authors: HORITA E

Citation: E. Horita, DERIVING FAILURES MODELS FOR NONUNIFORM CONCURRENCY FROM STRUCTURED OPERATIONAL SEMANTICS, New generation computing, 14(3), 1996, pp. 343-389

Authors: MIYANAGA Y HORITA E SHIMIZ J TOCHINAI K

Citation: Y. Miyanaga et al., DESIGN OF TIME-VARYING ARMA MODELS AND ITS ADAPTIVE IDENTIFICATION, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(5), 1994, pp. 760-770

Authors: HORITA E MIYANAGA Y TOCHINAI K

Citation: E. Horita et al., AN ADAPTIVE METHOD ANALYZING ANALYTIC SPEECH SIGNALS, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(5), 1994, pp. 800-803

Authors: HORITA E DEBAKKER JW RUTTEN JJMM

Citation: E. Horita et al., FULLY ABSTRACT DENOTATIONAL MODELS FOR NONUNIFORM CONCURRENT LANGUAGES, Information and computation, 115(1), 1994, pp. 125-178

Authors: HORITA E

Citation: E. Horita, DERIVING COMPOSITIONAL MODELS FOR CONCURRENCY BASED ON DEBAKKER-ZUCKER METRIC DOMAIN FROM STRUCTURED OPERATIONAL SEMANTICS, IEICE transactions on fundamentals of electronics, communications and computer science, E75A(3), 1992, pp. 400-409