×

Found 7 Documents (Results 1–7)

Families of symmetries as efficient models of resource binding. (English) Zbl 1247.68172

Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 63-81 (2010).
MSC:  68Q65 18C50
PDFBibTeX XMLCite
Full Text: DOI

On GS-monoidal theories for graphs with nesting. (English) Zbl 1309.68147

Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 59-86 (2010).
MSC:  68R10 18A10
PDFBibTeX XMLCite
Full Text: DOI

A category of explicit fusions. (English) Zbl 1144.68038

Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 544-562 (2008).
MSC:  68Q55 18C10 18F20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software