PoliS: a programming model for multiple tuple spaces | IEEE Conference Publication | IEEE Xplore