Works matching IS 09601295 AND DT 2014 AND VI 24 AND IP 4

Results: 9

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:

HERMANN, FRANK;
EHRIG, HARTMUT;
GOLAS, ULRIKE;
OREJAS, FERNANDO

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:

BISZTRAY, DÉNES;
HECKEL, REIKO

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:

EHRIG, HARTMUT;
GOLAS, ULRIKE;
HABEL, ANNEGRET;
LAMBERS, LEEN;
OREJAS, FERNANDO

Publication type:

Article

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:

HERMANN, FRANK;
CORRADINI, ANDREA;
EHRIG, HARTMUT

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:

GOLAS, ULRIKE;
HABEL, ANNEGRET;
EHRIG, HARTMUT

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:

BONCHI, FILIPPO;
GADDUCCI, FABIO;
MONREALE, GIACOMA VALENTINA

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:

GABRIEL, KARSTEN;
BRAATZ, BENJAMIN;
EHRIG, HARTMUT;
GOLAS, ULRIKE

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:

BALDAN, PAOLO;
CORRADINI, ANDREA;
HEINDEL, TOBIAS;
KÖNIG, BARBARA;
SOBOCIŃSKI, PAWEŁ

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:

MONTANARI, UGO

Publication type:

Article