Bisimulation Verification for the DPO Approach with Borrowed.

Guilherme Rangel Barbara König Hartmut Ehrig Bisimulation Verification for the DPO Approach with Borrowed. 2007 6 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/70 db/journals/eceasst/eceasst6.html#RangelKE07