Raffaella Gentilini, Carla Piazza, Alberto Policriti. Rank-Based Simulation on Acyclic Graphs. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 149-160, CEUR-WS.org, 2012. [doi]
Abstract is missing.