www.lsv.ens-cachan.fr

Wikipedia: Post correspondence problem

Anchor text: Wide Mouthed Frog

Wikipedia: Wide Mouth Frog protocol

Wikipedia: Cryptographic protocol

Anchor text: my institutional web page

Wikipedia: Wikipedia:Historical archive/New user log/August 2005

Anchor text: Heap Hop

Wikipedia: Separation logic

Wikipedia: Star-free language

Anchor text: Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting.

Wikipedia: Director string

Wikipedia: Neuman–Stubblebine protocol

Anchor text: Well-Structured Transition Systems Everywhere!

Wikipedia: Well-structured transition system

Anchor text: Orchids

Wikipedia: Intrusion Detection Message Exchange Format