Markovian Arrival and Service Communication Systems: Spectral Expansions, Separability and Kronecker-Product Forms · Study