Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I.

Ernest Cachia Mark Vella Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I. 63-70 2007 ECBS http://dx.doi.org/10.1109/ECBS.2007.75 conf/ecbs/2007 db/conf/ecbs/ecbs2007.html#CachiaV07