This feels a lot like P / Pony / rospy. Not only that the "loci as hypergraph" framing also has a faint Milner's bigraphs feeling.