Login / Signup

ℳ-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.

Hartmut EhrigUlrike GolasAnnegret HabelLeen LambersFernando Orejas
Published in: Math. Struct. Comput. Sci. (2014)
Keyphrases