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

First Page	Meta Content
	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 Document Date: 2007-08-30 04:50:00 Open Document File Size: 168,76 KB Share Result on Facebook

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.jpAdd to Reading List