Formalizing the environment view of process equivalence

Authors:
Yuxi Fu;Xiaoju Dong
Affiliations:
BASICS, Department of Computer Science, Shanghai Jiaotong University, Shanghai, China;BASICS, Department of Computer Science, Shanghai Jiaotong University, Shanghai, China
Venue:
CIS'04 Proceedings of the First international conference on Computational and Information Science
Year:
2004

Citing 9
Cited 0

A calculus of mobile processes, II

Information and Computation
A theory of bisimulation for the &lgr;-calculus

Acta Informatica
Variations on mobile processes

Theoretical Computer Science
Mobile ambients

Theoretical Computer Science
Understanding the mismatch combinator in Chi calculus

Theoretical Computer Science
Barbed Bisimulation

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Chi Calculus with Mismatch

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Proof Theoretical Approach to Communication

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Bisimulation congruence of ℵ-calculus

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.