@Inproceedings{EPTCS40.10, author = {Feret, Jerome and Henzinger, Thomas and Koeppl, Heinz and Petrov, Tatjana }, year = {2010}, title = {Lumpability Abstractions of Rule-based Systems}, editor = {Ciobanu, Gabriel and Koutny, Maciej}, booktitle = {{\rm Proceedings Fourth Workshop on} Membrane Computing and Biologically Inspired Process Calculi 2010, {\rm Jena, Germany, 23 August 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {40}, publisher = {Open Publishing Association}, pages = {142-161}, doi = {10.4204/EPTCS.40.10}, }