Typechecking Safe Process Synchronization
Published in Electronic Notes in Theoretical Computer Science • Sep 1, 2005
Authors:,,
Eduardo Bonelli
Adriana Compagnoni
Elsa L. Gunter
Abstract
Session types describe the interactions between two parties within multi-party communications. They constitute a communication protocol in the sense that the order and type of interactions between two parties are specified. For their part, correspondence assertions provide a mechanism for synchroniz...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!