Vamos analisar as asserções: I - Os multicomputadores caracterizam-se por empregar memória distribuída onde cada processador tem acesso apenas a sua própria memória, fazendo com que não haja variáveis globais. Essa afirmação está correta, pois nos multicomputadores cada processador possui sua própria memória e não compartilha variáveis globais. II - Os processadores se comunicam por meio de trocas de mensagens através de uma rede de interconexão. Essa afirmação também está correta, pois nos multicomputadores, os processadores se comunicam por meio de trocas de mensagens através de uma rede de interconexão. Portanto, ambas as asserções são verdadeiras e a segunda asserção é uma justificativa correta da primeira. Sendo assim, a alternativa correta é: As asserções I e II são proposições verdadeiras, e a II é uma justificativa correta da I.