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