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

From MaRDI portal