Resource-Bound Quantification for Graph Transformation
Logic in Computer Science
2010-03-30 v1
Abstract
Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO) diagram in the category of graphs. We show how intuitionistic linear logic can be extended with resource-bound quantification, allowing for an implicit handling of the DPO conditions, and how resource logic can be used to reason about graph transformation systems.
Keywords
Cite
@article{arxiv.1003.5512,
title = {Resource-Bound Quantification for Graph Transformation},
author = {Paolo Torrini and Reiko Heckel},
journal= {arXiv preprint arXiv:1003.5512},
year = {2010}
}