5 citations · 8 across the 6 of their papers we have counts for
7 papers
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez +2
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set of all join-endomorphisms of a…
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Michell Guzmán, Sophia Knight, Santiago Quintero +3
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about t…
A Concurrent Constraint Programming Interpretation of Access Permissions
Carlos Olarte, Elaine Pimentel, Camilo Rueda
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of…
Code Generation for Event-B
Victor Rivera
Stepwise refinement and Design-by-Contract are two formal approaches for modelling systems. These approaches are widely used in the development of systems. Both approaches have (di…
NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Mauricio Toro, Camilo Rueda, Carlos Agón +1
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior…
Gelisp: A Library to Represent Musical CSPs and Search Strategies
Mauricio Toro, Camilo Rueda, Carlos Agón +1
In this paper we present Gelisp, a new library to represent musical Constraint Satisfaction Problems and search strategies intuitively. Gelisp has two interfaces, a command-line on…
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Néstor Cataño, Camilo Rueda, Tim Wahls
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B e…