X-Klaim Is Back.

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