ejemplificar

  • 131Cálculo de sistemas comunicantes — El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes. El lenguaje CCS fue propuesto ( A Calculus of Communicating… …

    Enciclopedia Universal

  • 132Saudade — (Voz gallego portuguesa.) ► sustantivo femenino Nostalgia, sentimiento de tristeza o añoranza: ■ siento saudade al estar lejos de casa. SINÓNIMO morriña * * * saudade f. Palabra portuguesa que significa «*añoranza», que tiene algún uso en España …

    Enciclopedia Universal