research
∙
11/01/2022
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Structures involving a lattice and join-endomorphisms on it are ubiquito...
share
research
∙
10/20/2020
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Spatial constraint systems (scs) are semantic structures for reasoning a...
research
∙
02/13/2018
A Concurrent Constraint Programming Interpretation of Access Permissions
A recent trend in object oriented (OO) programming languages is the use ...
research
∙
10/09/2015