15 citations · 47 across the 12 of their papers we have counts for
1 paper · 1 filter
Miguel Romero, Camilo Rocha
Spatial concurrent constraint programming (SCCP) is an algebraic model of spatial modalities in constrained-based process calculi; it can be used to reason about spatial informatio…