3 citations · 3 across the 1 of their papers we have counts for
1 paper
Alex Shafarenko, Raimund Kirner
In this article we present the {\em Constraint Aggregation Language} (CAL), a declarative language for describing properties of stateless program components that interact by exchan…