This paper presents a method for generating interoperability test suites for the class of communication protocols such as the ATM/B-ISDN signaling protocol and TCP that are modeled as communicating nondeterministic finitestate machines. To our knowledge, no test generation method exists for protocol interoperability testing that supports multiple simultaneous inputs to the implementations. In other words, it has been assumed that communicating systems adhere to the single stimulus principle in generating test cases. In practice, however, there exists the possibility that additional messages will be sent to a machine while the previous message is still being processed, and/or simultaneous messages will be sent to several machines at the same time (e.g., TCP's simultaneous open/close). To cope with these situations, we have developed an interoperability test suite derivation algorithm based on formal models. Experimental results show that our method is applicable to practical systems and can generate validation-equivalent interoperability test suites in terms of transition coverage.