Add to ORKGWe define computation on grids as the composition, through pushout constructions, of control flows, carried across adjacency relations between grid cells, with formulas updating the value of some attribute. The approach is based on the identification of a subcategory of attributed typed graphs suitable to the definition of pushouts on grids, and is illustrated in the context of the Cyberfilm visual language
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Ed...
The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting ...
The algebraic graph transformation approach originates in the so-called double pushout approach. The...
We define computation on grids as the composition, through pushout constructions, of control flows, ...
This chapter aims at contributing to a better understanding of generation and simulation problems of...
The Grid has the prospective to essentially change the way science and engineering are done. Aggrega...
Due to the new requirements of modern software, researchers in software engineering have created mor...
State-of-the-art approaches to controlled graph rewriting focus on the specification of an external ...
Grids computacionales. (Hamar, Vanessa) Resumen Hoy en día, donde la mayoría de las personas ti...
Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (...
part : TC 1: Foundations of Computer ScienceInternational audienceSignal flow graphs are combinatori...
Graphs are widely used to represent structural information in the form of objects and connections be...
International audienceSome computations can be elegantly presented as the parallel or simultaneous a...
This paper presents a unified formal model to be used in the grid representation based on hierarchic...
AbstractThe control point form of algebraic grid generation is developed in a rigorous manner to ill...
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Ed...
The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting ...
The algebraic graph transformation approach originates in the so-called double pushout approach. The...
We define computation on grids as the composition, through pushout constructions, of control flows, ...
This chapter aims at contributing to a better understanding of generation and simulation problems of...
The Grid has the prospective to essentially change the way science and engineering are done. Aggrega...
Due to the new requirements of modern software, researchers in software engineering have created mor...
State-of-the-art approaches to controlled graph rewriting focus on the specification of an external ...
Grids computacionales. (Hamar, Vanessa) Resumen Hoy en día, donde la mayoría de las personas ti...
Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (...
part : TC 1: Foundations of Computer ScienceInternational audienceSignal flow graphs are combinatori...
Graphs are widely used to represent structural information in the form of objects and connections be...
International audienceSome computations can be elegantly presented as the parallel or simultaneous a...
This paper presents a unified formal model to be used in the grid representation based on hierarchic...
AbstractThe control point form of algebraic grid generation is developed in a rigorous manner to ill...
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Ed...
The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting ...
The algebraic graph transformation approach originates in the so-called double pushout approach. The...