31 citations · 109 across the 18 of their papers we have counts for
1 paper · 2 filters
Hugo A. López, Carlos Olarte, Jorge A. Pérez
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in additi…