Works matching IS 09601295 AND DT 2014 AND VI 24 AND IP 4
Results: 9
Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000382
- By:
- Publication type:
- Article
Formal analysis of model transformations based on triple graph grammars.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000370
- By:
- Publication type:
- Article
Combining termination proofs in model transformation systems.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000369
- By:
- Publication type:
- Article
$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000357
- By:
- Publication type:
- Article
Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000345
- By:
- Publication type:
- Article
RPO semantics for mobile ambients.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000333
- By:
- Publication type:
- Article
Finitary $\mathcal{M}$-adhesive categories.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000321
- By:
- Publication type:
- Article
Processes and unfoldings: concurrent computations in adhesive categories.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S096012951200031X
- By:
- Publication type:
- Article
Foreword: special issue on structure transformation.
- Published in:
- Mathematical Structures in Computer Science, 2014, v. 24, n. 4, p. N.PAG, doi. 10.1017/S0960129512000308
- By:
- Publication type:
- Article