Midpoint Synthesis

The mid-point construction framework synthesizes a formal model for a mid-point that enforces a two-party asynchronous protocol. The framework takes as an input the formal specifications of the protocol and the environment, given in the muCRL process algebraic language, and outputs a specification for a mid-point enforcing the protocol. The framework is presented in the OPODIS'11 paper "Constructing Mid-points for Two-party Asynchronous Protocols" by Petar Tsankov,  Mohammad Torabi Dashti, and David Basin.

Authors

Petar Tsankov, Mohammad Torabi Dashti, and David Basin

Downloads

JavaScript has been disabled in your browser