On equivalence of programs

  • J. Leszczyłowski
Theory Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 28)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    LESZCZYŁOWSKI, J. Mathematical models of programs with dynamic allocation of variables. Math. Found. Comp. Sci. III (Proc. Symp. Warsaw Jadwisin 1974) Springer-Verlag, Lectures Notes inComputer Science (this volume), HeidelbergGoogle Scholar
  2. [2]
    MAZURKIEWICZ, A. Proving properties of processes. CC PAS Reports 134 (1974)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • J. Leszczyłowski
    • 1
  1. 1.Computation CenterPolish Academy of SciencesWarsawPoland

Personalised recommendations