Filters: Author is Michel A. Reniers [Clear All Filters]
“Tree rules in probabilistic transition system specifications with negative and quantitative premises”, in Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, 2012, vol. 89, pp. 115-130. paper-122.pdf (192.61 KB)
,