1
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... of colored nets -- On abstractions of nets -- Semantics, composition and net properties of algebraic high...

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java...

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... of relational specifications -- Compositional theories based on an operational semantics of contexts...

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... with unification and composition --...

5
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... games, the composition method, and the monadic theory of ordinal words -- Monadic second order logic...

6
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... preorder over a class of EN systems -- Composition of nets via a communication medium -- ?Trellis: A system...

7
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... -- Deterministic systems of sequential processes: A class of structured Petri nets -- Compositional state space...

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs...

9
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... -- CEDISYS compositional distributed systems state of the art, research goals, references...

10
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...-compositionality Using New Binders -- Using River Formation Dynamics to Design Heuristic Algorithms -- Principles...

11
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... of galileo to design telecommunication systems -- Compositional semantics of pure place/transition systems...

12
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel and Sequential...

13
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... composition of graph grammar productions -- The decomposition of ESM computations -- Formal relationship...

14
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... analysis using Numerical Petri Nets -- Petri nets, morphisms and compositionality -- M-timed Petri nets...

15
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... recognizers -- 16. Tree transformations and tree transducers -- 17. Composition and decomposition of tree...