Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

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

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

Original language	English
Title of host publication	Proc. 17th Conference on Foundations of Software Science and Computational Structures - FOSSACS'14
Publisher	Springer
Pages	289-303
Publication status	Published - 2014

Persistent URL (handle)

@inproceedings{bc70e03cabaa4e00971a4f93c18f4199,

title = "Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules",

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

year = "2014",

language = "English",

pages = "289--303",

booktitle = "Proc. 17th Conference on Foundations of Software Science and Computational Structures - FOSSACS'14",

publisher = "Springer",

}

Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. / D'Argenio, P.R.; Gebler, D.; Lee, M.D.
Proc. 17th Conference on Foundations of Software Science and Computational Structures - FOSSACS'14. Springer, 2014. p. 289-303.

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