Login / Signup

An inductive characterization of matching in binding bigraphs.

Troels Christoffer DamgaardArne J. GlenstrupLars BirkedalRobin Milner
Published in: Formal Aspects Comput. (2013)
Keyphrases