no code implementations • 7 Dec 2014 • Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe
Therefore, the goal of the work is to first formalize the behavioral semantics of the middleware as a pre-requisite for our proof of the behavioral correctness.