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