Accretive Computation of Global Transformations

Global transformations form a categorical framework adapting graph transformations to describe fully synchronous rule systems on a given data structure.In this work we focus on data structures that can be captured as presheaves and study the computational aspects of such synchronous rule systems.To...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Fernandez, Alexandre, Maignan, Luidnel, Spicher, Antoine
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Distributed, Parallel, and Cluster Computing Computer Science - Multiagent Systems Mathematics - Category Theory Physics - Cellular Automata and Lattice Gases
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!