Resultados de búsqueda - Compagnoni, Adriana

  • Mostrando 1 - 14 Resultados de 14
Limitar resultados
  1. 1

    Multipoint session types for a distributed calculus por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  2. 2

    Multipoint session types for a distributed calculus por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  3. 3

    Non-interference for a typed assembly language por Medel, Ricardo H.

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  4. 4

    A typed assembly language for non-interference por Medel, Ricardo H.

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  5. 5

    Non-interference for a typed assembly language por Medel, Ricardo H.

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  6. 6

    A typed assembly language for non-interference por Medel, Ricardo H.

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  7. 7

    Information flow analysis for a typed assembly language with polymorphic stacks por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  8. 8

    Correspondence assertions for process synchronization in concurrent communications por Bonelli, Eduardo

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  9. 9

    Typechecking safe process synchronization por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  10. 10

    Information flow analysis for a typed assembly language with polymorphic stacks por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  11. 11

    Correspondence assertions for process synchronization in concurrent communications por Bonelli, Eduardo

    Otros autores o Colaboradores:
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  12. 12

    Typechecking safe process synchronization por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  13. 13

    Boxed ambients with communication interfaces por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro
  14. 14

    Boxed ambients with communication interfaces por Bonelli, Eduardo

    Otros autores o Colaboradores: “…Compagnoni, Adriana…”
    Enlace del recurso / Disponible en línea
    Capítulo de libro

Herramientas de búsqueda: