Recoverable Identifier
advisory
doi_compliance
recoverable_identifier
DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.tcs.2016.01.012.40) was visible in the surrounding text but could not be confirmed against doi.org as printed.
Paper page Integrity report arXiv Try DOI
Evidence text
URL: http://link.springer.com/10.1007/ 978-1-4757-4721-8. 39 Marino Miculan and Marco Peressotti. Structural operational semantics for non-deterministic processes with quantitative aspects.Theor. Comput. Sci., 655:135–154, 2016.doi:10.1016/j. tcs.2016.01.012. 40 Philip S. Mulry. Lifting theorems for kleisli categories. InMathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, volume 802 ofLecture Notes in Computer Science, pages 304–319. Springer, 1993.doi:10.1007/3-540-58027-1\_15. 41 Jan J. M. M. Rutten. Universal coalgebra: a theory of systems.Theor. Comput. Sci., 249(1):3–80, 2000.doi:10.1016/S0304-3975(00)00056-6. 42 Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, and Frank Piessens. Abstract congruence criteria for weak bisimilarity. In Filippo Bonchi and Simon J. Puglisi, editors,46th International Symposium on Mathematical Foundations of Computer Science, MFCS’21, volume 202 ofLIPIcs, pages 88:1–88:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.doi:10.4230/LIPIcs.MFCS.2021.88. 43 Daniele Turi. Categorical modelling of structural operational rules: Case studies. InCategory Theory and Computer Science, 7th International Conference, CTCS ’97, Santa Margherita Lig- ure, Italy, September 4-6, 1997, Proceedings, pages 127–146, 1997.doi:10.1007/BFb0026985. 44 Daniele Turi and Gordon D. Plotkin. Towards a mathematical operational semantics. In12th Annual IEEE Sym
Evidence payload
{
"printed_excerpt": "URL: http://link.springer.com/10.1007/ 978-1-4757-4721-8. 39 Marino Miculan and Marco Peressotti. Structural operational semantics for non-deterministic processes with quantitative aspects.Theor. Comput. Sci., 655:135\u2013154, 2016.doi:10.1016/",
"reconstructed_doi": "10.1016/j.tcs.2016.01.012.40",
"ref_index": 14,
"resolved_title": null,
"verdict_class": "incontrovertible"
}