Tree rules in probabilistic transition system specifications with negative and quantitative premises

M.D. Lee, D. Gebler, P.R. D'Argenio

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12
Editors	B. Luttik, M.A. Reniers
Publisher	EPTCS
Pages	115-130
DOIs	https://doi.org/10.4204/EPTCS.89.9
Publication status	Published - 2012

Access to Document

Lee, M. D., Gebler, D., & D'Argenio, P. R. (2012). Tree rules in probabilistic transition system specifications with negative and quantitative premises. In B. Luttik, & M. A. Reniers (Eds.), Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12 (pp. 115-130). EPTCS. https://doi.org/10.4204/EPTCS.89.9

@inproceedings{acd1c6972c004cf0ba64e174ebddadb0,

title = "Tree rules in probabilistic transition system specifications with negative and quantitative premises",

author = "M.D. Lee and D. Gebler and P.R. D'Argenio",

year = "2012",

doi = "10.4204/EPTCS.89.9",

language = "English",

pages = "115--130",

editor = "B. Luttik and M.A. Reniers",

booktitle = "Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12",

publisher = "EPTCS",

}

Tree rules in probabilistic transition system specifications with negative and quantitative premises. / Lee, M.D.; Gebler, D.; D'Argenio, P.R.
Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12. ed. / B. Luttik; M.A. Reniers. EPTCS, 2012. p. 115-130.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Tree rules in probabilistic transition system specifications with negative and quantitative premises

AU - Lee, M.D.

AU - Gebler, D.

AU - D'Argenio, P.R.

PY - 2012

Y1 - 2012

U2 - 10.4204/EPTCS.89.9

DO - 10.4204/EPTCS.89.9

M3 - Conference contribution

SP - 115

EP - 130

BT - Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12

A2 - Luttik, B.

A2 - Reniers, M.A.

PB - EPTCS

ER -