Jérôme Feret, Thomas Henzinger, Heinz Koeppl, Tatjana Petrov. Lumpability Abstractions of Rule-based Systems.
The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi - MeCBIC 2010, Ciobanu, G. and Koutny, M., Aug 2010, Jena, Germany.
⟨inria-00527971⟩