References

  1. Jordi Cabot, Robert Clarisó, Esther Guerra & Juan de Lara (2010): A UML/OCL Framework for the Analysis of Graph Transformation Rules. SoSyM 9(3), pp. 335–357, doi:10.1007/s10270-009-0129-0.
  2. Jürgen Christ, Jochen Hoenicke & Alexander Nutz (2012): SMTInterpol: An Interpolating SMT Solver. In: Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, pp. 248–254, doi:10.1007/978-3-642-31759-0_19.
  3. Alessandro Cimatti, Alberto Griggio, Bastiaan Schaafsma & Roberto Sebastiani (2013): The MathSAT5 SMT Solver. In: Proceedings of TACAS, LNCS 7795. Springer, doi:10.1007/978-3-642-36742-7_7.
  4. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange & Gabriele Taentzer (2006): Fundamentals of Algebraic Graph Transformation. Springer.
  5. Hartmut Ehrig & Bernd Mahr (1985): Fundamentals of Algebraic Specification 1. Springer, doi:10.1007/978-3-642-69962-7.
  6. Ulrike Golas, Leen Lambers, Hartmut Ehrig & Fernando Orejas (2012): Attributed Graph Transformation with Inheritance: Efficient Conflict Detection and Local Confluence Analysis using Abstract Critical Pairs. Theoretical Computer Science 424(0), pp. 46 – 68, doi:10.1016/j.tcs.2012.01.032.
  7. Reiko Heckel, Jochen Malte Küster & Gabriele Taentzer (2002): Confluence of Typed Attributed Graph Transformation Systems. In: Proc. of the 1st ICGT, LNCS 2505. Springer, pp. 161–176, doi:10.1007/3-540-45832-8_14.
  8. Leen Lambers, Hartmut Ehrig & Fernando Orejas (2006): Conflict Detection for Graph Transformation with Negative Application Conditions. In: Graph Transformations, LNCS 4178. Springer, pp. 61–76, doi:10.1007/11841883_6.
  9. Leen Lambers, Hartmut Ehrig & Fernando Orejas (2008): Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. ENTCS 211, pp. 17–26, doi:10.1016/j.entcs.2008.04.026.
  10. Leonardo de Moura & Nikolaj Bjørner (2008): Z3: An Efficient SMT Solver. In: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 4963. Springer, pp. 337–340, doi:10.1007/978-3-540-78800-3_24.
  11. Fernando Orejas & Leen Lambers (2010): Symbolic Attributed Graphs for Attributed Graph Transformation. In: Proc. of the ICGT, Electronic Communications of the EASST 30.
  12. Fernando Orejas & Leen Lambers (2012): Lazy Graph Transformation. Fundam. Inf. 118(1-2), pp. 65–96. Available at http://dl.acm.org/citation.cfm?id=2385016.2385020.
  13. G. Rozenberg (1997): Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations. World Scientific Publishing Co., Inc., River Edge, NJ, USA.
  14. Joseph R Shoenfield (1967): Mathematical logic 21. Addison-Wesley Reading.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org