A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Specification Enforcing Refinement for Convertibility Verification
2009
2009 Ninth International Conference on Application of Concurrency to System Design
Protocol conversion deals with the automatic synthesis of an additional component or glue logic, often referred to as an adaptor or an interface, to bridge mismatches between interacting components, often referred to as protocols. A formal solution, called convertibility verification, has been recently proposed, which produces such a glue logic, termed as a converter, so that the parallel composition of the protocols and the converter also satisfies some desired specification. A converter is
doi:10.1109/acsd.2009.25
dblp:conf/acsd/RoopGSG09
fatcat:22xxts7gxjen7inyttavhwlwh4