Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (2004)

by Xiang Fu , Tevfik Bultan , Jianwen Su
Venue:In Proc. Int. Conf. on Implementation and Application of Automata (CIAA
Citations:70 - 17 self