Type-Based Veriﬁcation of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba - Mljet - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-08-30 04:50:00		Type-Based Veriﬁcation of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Download Document from Source Website File Size: 168,76 KB Share Document on Facebook