14 results
Horizontal and vertical structuring of typed graph transformation systems†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 6 / Issue 6 / December 1996
- Published online by Cambridge University Press:
- 19 April 2018, pp. 613-648
-
- Article
- Export citation
Finitary $\mathcal{M}$-adhesive categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240403
-
- Article
- Export citation
Formal analysis of model transformations based on triple graph grammars
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240408
-
- Article
- Export citation
$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240406
-
- Article
- Export citation
Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240405
-
- Article
- Export citation
Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 4 / August 2014
- Published online by Cambridge University Press:
- 26 June 2014, 240409
-
- Article
- Export citation
Parallelism and concurrency in high-level replacement systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 1 / Issue 3 / November 1991
- Published online by Cambridge University Press:
- 04 March 2009, pp. 361-404
-
- Article
- Export citation
Algebraic high-level net transformation systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 217-256
-
- Article
- Export citation
Compositionality and compatibility of parameterization and parameter passing in specification languages
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 283-314
-
- Article
- Export citation
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 6 / December 2006
- Published online by Cambridge University Press:
- 06 December 2006, pp. 1133-1163
-
- Article
- Export citation
Compositional semantics for open Petri nets based on deterministic processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 1 / February 2005
- Published online by Cambridge University Press:
- 28 January 2005, pp. 1-35
-
- Article
- Export citation
Concurrency and loose semantics of open graph transformation systems
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 4 / August 2002
- Published online by Cambridge University Press:
- 16 September 2002, pp. 349-376
-
- Article
- Export citation
Introduction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 03 July 2002, p. 111
-
- Article
-
- You have access
- Export citation
Abstract and behaviour module specifications
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 1 / February 1999
- Published online by Cambridge University Press:
- 01 February 1999, pp. 21-62
-
- Article
- Export citation