Norbert Imlig Ryusuke Konishi Tsunemichi Shiozawa Kiyoshi Oguri Kouichi Nagami Hideyuki Ito Minoru Inamori Hiroshi Nakada Communicating logic: an alternative embedded stream processing paradigm. 317-322 2000 conf/aspdac/2000 ASP-DAC http://doi.acm.org/10.1145/368434.368659 db/conf/aspdac/aspdac2000.html#ImligKSONIIN00