@Inproceedings{EPTCS89.9, author = {Lee, Matias David and Gebler, Daniel and D'Argenio, Pedro R.}, year = {2012}, title = {Tree rules in probabilistic transition system specifications with negative and quantitative premises}, editor = {Luttik, Bas and Reniers, Michel A.}, booktitle = {{\rm Proceedings Combined 19th International Workshop on} Expressiveness in Concurrency {\rm and 9th Workshop on} Structured Operational Semantics, {\rm Newcastle upon Tyne, UK, September 3, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {89}, publisher = {Open Publishing Association}, pages = {115-130}, doi = {10.4204/EPTCS.89.9}, }