16 citations · 28 across the 15 of their papers we have counts for
1 paper · 1 filter
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…