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