Alexandre Petrenko, Andreas Ulrich. Verification and Testing of Concurrent Systems with Action Races. In Hasan Ural, Robert L. Probert, Gregor von Bochmann, editors, Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13:::th::: International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. Volume 176 of IFIP Conference Proceedings, pages 261-280, Kluwer, 2000.
Abstract is missing.