The notion of program equivalence plays a fundamental role in the understanding of programming related issues in the framework of concurrent/distributive/mobile/global/grid computing. Many observational equivalences have been proposed in the literature. These equivalences are based on the intuition that different classes of environments have different observing powers. The paper provides a formalization of the observations of environments. This formalization leads to an equivalence relation called global bisimulation. We examine this relation in some well known computing models. © Springer-Verlag 2004.
CITATION STYLE
Pu, Y., & Dong, X. (2004). Formalizing the environment view of process equivalence. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3314, 336–345. https://doi.org/10.1007/978-3-540-30497-5_53
Mendeley helps you to discover research relevant for your work.