This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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), Heidelberg
MAZURKIEWICZ, A. Proving properties of processes. CC PAS Reports 134 (1974)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leszczyłowski, J. (1975). On equivalence of programs. In: Blikle, A. (eds) Mathematical Foundations of Computer Science. MFCS 1974. Lecture Notes in Computer Science, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07162-8_698
Download citation
DOI: https://doi.org/10.1007/3-540-07162-8_698
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07162-4
Online ISBN: 978-3-540-37492-3
eBook Packages: Springer Book Archive