Revealing the Trajectories of KLAIM Tuples, Statically.

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (2019)