Bisimulation Verification for the DPO Approach with Borrowed

@article{Rangel2007BisimulationVF,
  title={Bisimulation Verification for the DPO Approach with Borrowed},
  author={Guilherme Rangel and Barbara K{\"o}nig and Hartmut Ehrig},
  journal={ECEASST},
  year={2007},
  volume={6}
}
Bisimilarity is the most widespread notion of behavioral equivalence and hence algorithms for bisimulation checking are of fundamental importance for verifying that two systems are behaviorally equivalent (seen from the perspective of the environment). We investigate this problem in the context of behavioral equivalences of graphs and graph transformation systems, where the extension of the DPO approach to borrowed contexts provides us with a formal basis for reasoning about bisimilarity of… CONTINUE READING
8 Citations
17 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 17 references

Alge - braic Approaches to Graph Transformation Part I : Basic Concepts and Double Pushout Approach

  • H. Ehrig, R. Heckel
  • Handbook of Graph Grammars and Computing by Graph…
  • 2006

Similar Papers

Loading similar papers…