Dagstuhl Seminar Proceedings 05081

Foundations of Global Computing

J. L. Fiadeiro, U. Montanari, M. Wirsing (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 05081, 20.02. - 25.02.2005
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Bhargava, Mohit
  • Cerioli, Maura
  • Dell'Amico, Matteo
  • Fiadeiro, José Luiz
  • Gustedt, Jens
  • Lanese, Ivan
  • Lopes, Luís
  • Martins, Francisco
  • Montanari, Ugo
  • Oliveira, Cristóvão
  • Palamidessi, Catuscia
  • Salvador, Liliana
  • Stehr, Mark-Oliver
  • Talcott L., Carolyn
  • Vasconcelos, Vasco T.
  • Wermelinger, Michel
  • Wirsing, Martin

  •   
    05081 Abstracts Collection -- Foundations of Global Computing
    Authors: Fiadeiro, José Luiz ; Montanari, Ugo ; Wirsing, Martin

    Abstract | Document (140 KB) | BibTeX

    Architectural Views for CommUnity
    Authors: Oliveira, Cristóvão ; Wermelinger, Michel

    Abstract | Document (121 KB) | BibTeX

    Data Handover: Reconciling Message Passing and Shared Memory
    Authors: Gustedt, Jens

    Abstract | Document (265 KB) | BibTeX

    Injecting Distribution in CASL
    Authors: Cerioli, Maura ; Dell'Amico, Matteo

    Abstract | Document (410 KB) | BibTeX

    Insights emerged while comparing three models for global computing
    Authors: Lanese, Ivan ; Montanari, Ugo

    Abstract | Document (233 KB) | BibTeX

    MiKO---Mikado Koncurrent Objects
    Authors: Martins, Francisco ; Salvador, Liliana ; Vasconcelos, Vasco T. ; Lopes, Luís

    Abstract | Document (552 KB) | BibTeX

    Practical Techniques for Language Design and Prototyping
    Authors: Stehr, Mark-Oliver ; Talcott L., Carolyn

    Abstract | Document (345 KB) | BibTeX

    Probabilistic Anonymity
    Authors: Palamidessi, Catuscia ; Bhargava, Mohit

    Abstract | Document (275 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI