Knowledge Tree

researcher / Frank Valencia

Frank Valencia

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

On the expressiveness of spatial constraint systems

Bisimulation techniques and algorithms for concurrent constraint programming

Universal temporal Concurrent Constraint Programming

On the expressivity of infinite and local behaviour in fragments of the pi-calculus