A polynomial time validation method for channel boundedness of communication protocols (2 processes). - Tomohisa Suganuma; Kaoru Kurosawa; Ni Yongmao (Syst. Comput. Jpn., 1989)