×

Bigraphs meet double pushouts. (English) Zbl 1169.68450

Cf. in: Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific. 27–40 (2004; Zbl 1063.68072).

MSC:

68Q42 Grammars and rewriting systems
18A10 Graphs, diagram schemes, precategories
68Q99 Theory of computing

Citations:

Zbl 1063.68072
PDFBibTeX XMLCite