BPL Related Tools Literature
From PLSwiki
This page lists some literature for tools (protocol checkers, etc.) that could be related to a BPL based tool.
It is up to the individual project members to suggest papers.
Literature which has been discussed
- Varró, Varró & Schürr: Benchmarking for Graph Transformation. Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) - Volume 00. pp. 79-88. 2005.
- Varró, Friedl & Varró: Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans. ENTCS 152. pp. 191-205. 2006.
Literature suggested for discussion
- Abadi & Blanchet: Analyzing Security Protocols with Secrecy Types and Logic Programs. JACM 52 (1), pp.102-146. 2005.
- Zündorf: Graph Pattern Matching in PROGRES LNCS 1073. pp. 454--468. 1994.
- Abadi & Blanchet: Computer-assisted verification of a protocol for certified email. Science of Computer Programming 58, pp. 3-27. 2005.
- Jens Christian Godskesen: Formal Verification of the ARAN Protocol Using the Applied Pi-calculus. Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, pp. 99-113. 2006.
