I. Oteyo, A. Pupo, J. Zaman, S. Kimani, W. Meuter, and E. Boix. MobiQuitous, volume 492 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 21-43. Springer, (2022)
L. Nigro, and F. Pupo. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 493-513. Springer, (2001)