Zum Inhalt springen

  1. Thati, Prasannaa; Ziaei, Reza; Agha, Gul

    Algebraic Methodology and Software Technology: A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2002

    Erschienen in: Algebraic Methodology and Software Technology