Home > Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings > Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings |
Springer Berlin Heidelberg
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
Chapter Info
Authors
ARI Id
1664700747055_2794419
Access
Not Available Free
Pages
289-303
DOI
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-642-54830-7_19
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...