3 papers
cs.MA2022
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…
cs.MA2020
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…
cs.LO2018
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…