## 170 Citations

Describing systems of processes by means of high-level replacement

- Computer Science
- 1999

In this chapter, the formal model takes advantage of comma-category approach allowing to change both the structure of graph and the contents of nodes consistently and to treat different graph structures as well as different labelling mechanisms in a uniform way.

A multi-hierarchical symbolic model of the environment for improving mobile robot operation

- Philosophy
- 2015

El trabajo desarrollado en esta tesis se centra en el estudio y aplicacion de estructuras multijerarquicas, que representan el entorno de un robot movil, con el objetivo de mejorar su capacidad deâ€¦

Graph Transformation by Computational Category Theory

- Computer Science, MathematicsGraph Transformations and Model-Driven Engineering
- 2010

This work presents an implementation of some categorical definitions and constructions of graph transformation concepts in Java and demonstrates how this language supports the genericity of the categorical approach.

Suitability of Programming Languages for Categorical Databases

- Computer Science
- 2009

Five well known programming languages are examined, from a selection of programming paradigms, and the DAPLEX functional database language is examined, in order to determine the most suitable language for implementing the prototype data model.

Theorem Proving in Higher Order Logics

- Computer ScienceLecture Notes in Computer Science
- 2001

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL and a Practical Approach to Formal Interoperability are presented.

Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems

- Computer ScienceFME
- 1996

We propose a categorical and logical formalism and apply it in order to compositionally specify and verify the fault-tolerance mechanisms of the Modulor system. We claim that our approach isâ€¦

The category of simple graphs is coreflective in the comma category of groups under the free group functor

- Mathematics
- 2021

We show that the comma category (F â†“ Grp) of groups under the free group functor F : Set â†’ Grp contains the category Gph of simple graphs as a full coreflective subcategory. More broadly, weâ€¦

Open Petri nets

- Computer ScienceMathematical Structures in Computer Science
- 2020

Two forms of semantics for open Petri nets are described using symmetric monoidal double functors out of pen(Petri), including an operational semantics and a reachability semantics that simply says which markings of the outputs can be reached from a given marking of the inputs.

Petri nets based on Lawvere theories

- Computer ScienceMathematical Structures in Computer Science
- 2020

This definition of Q-net is functorial with respect to change in Lawvere theory, and it is shown how this can be used to construct the semantics for Petri nets, pre-nets, integer nets, and elementary net systems.

Categorical properties of M-indiscernibility spaces

- MathematicsTheor. Comput. Sci.
- 2011