Trepo - Selaus tekijän mukaan "Puhakka, A."

Viitteet 1-1 / 1

    • Weakest Congruences, Fairness and Compositional Process-Algebraic Verification 

      Puhakka, A.
      Tampereen teknillinen yliopisto, Julkaisuja (Tampere University of Technology, 2004)
      Artikkeliväitöskirja
      Traditionally, computer programs have been thought of as entities which take some input, execute a sequence of statements that process this input, and then return the result. More recently, concurrent and reactive computer ...