Ernest Cachia, Mark Vella. Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 63-70, IEEE Computer Society, 2007. [doi]
Abstract is missing.