3 citations · 3 across the 6 of their papers we have counts for
6 papers
Causal Graph Dynamics and Kan Extensions
Luidnel Maignan, Antoine Spicher
On the one side, the formalism of Global Transformations comes with the claim of capturing any transformation of space that is local, synchronous and deterministic. The claim has b…
Cellular Automata and Kan Extensions
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
In this paper, we formalize precisely the sense in which the application of cellular automaton to partial configuration is a natural extension of its local transition function thro…
Accretive Computation of Global Transformations
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
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 dat…
The Bicategory of Open Functors
Alexandre Fernandez, Luidnel Maignan, Antoine Spicher
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjec…
Activity Networks with Delays An application to toxicity analysis
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto +1
ANDy , Activity Networks with Delays, is a discrete time framework aimed at the qualitative modelling of time-dependent activities. The modular and concise syntax makes ANDy suitab…
Generalized Communicating P Systems Working in Fair Sequential Model
Antoine Spicher, Sergey Verlan
In this article we consider a new derivation mode for generalized communicating P systems (GCPS) corresponding to the functioning of population protocols (PP) and based on the sequ…