M. Clavel, N. Martí-Oliet, and M. Palomino. Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 277-298. Springer, (2011)
N. Martí-Oliet, P. Ölveczky, and C. Talcott. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 1-47. Springer, (2015)