Type-Based Verification of Correspondence Assertions for Communication Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daisuke Kikuchi, Naoki Kobayashi. Type-Based Verification of Correspondence Assertions for Communication Protocols. In Zhong Shao, editor, Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings. Volume 4807 of Lecture Notes in Computer Science, pages 191-205, Springer, 2007. [doi]

This author has not been identified. Look up 'Daisuke Kikuchi' in GoogleThis author has not been identified. Look up 'Naoki Kobayashi' in Google

runs on WebDSL