BiCoq : Bigraphs Formalisation with Coq.

Ccile Marcon, Cyril Allignol, Clia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux

Browse the full SAC paper archive.