Not 100% sure about the SDRplay, but you can definately use 2 or more HackRfs and RTLdongles and USRP or any combination of them. Each has its own serial number. You normally need to seleft the device number via a config extension. Eg in GNUradio it would be Hackrf=0 or Hackrf=1. or hackrf=ab1234fda for instance. Again not sure about the SDRplay, but it probably similar.