{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194402,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"},{"type":"electronic","value":"9783540472933"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0084810","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"472-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Axiomatizing probabilistic processes: ACP with generative probabilities"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]},{"given":"S. A.","family":"Smolka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,30]]},"reference":[{"key":"33_CR1","volume-title":"Technical Report","author":"J. C. M. Baeten","year":"1992","unstructured":"J. C. M. Baeten, J. A. Bergstra, and S. A. Smolka. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Technical Report, Dept. of Math and Computing Science, Technical University of Eindhoven, Eindhoven, The Netherlands, 1992."},{"key":"33_CR2","first-page":"109","volume":"60","author":"J. A. Bergstra","year":"1984","unstructured":"J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Computation, 60:109\u2013137, 1984.","journal-title":"Information and Computation"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"B. Bloom and A. R. Meyer. A remark on bisimulation between probabilistic processes. In Meyer and Tsailin, editors, Logik at Botik, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51237-3_4"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge Tracts in Computer Science 18, Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"33_CR5","series-title":"Technical Report DoCS 90\/22","volume-title":"Ph.D. Thesis","author":"I. Christoff","year":"1990","unstructured":"I. Christoff. Testing Equivalences for Probabilistic Processes. Technical Report DoCS 90\/22, Ph.D. Thesis, Department of Computer Science, Uppsala University, Uppsala, Sweden, 1990."},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, S. A. Smolka, and A. E. Zwarico. Testing preorders for probabilistic processes. In Proceedings of the 19th ICALP, July 1992.","DOI":"10.1007\/3-540-55719-9_116"},{"key":"33_CR7","series-title":"IFIP TC 2","volume-title":"Algebraic reasoning for probabilistic concurrent systems","author":"A. Giacalone","year":"1990","unstructured":"A. Giacalone, C.-C. Jou, and S. A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, IFIP TC 2, Sea of Gallilee, Israel, April 1990."},{"key":"33_CR8","unstructured":"B. Jonsson and K. G. Larsen. Specification and refinement of probabilistic processes. In Proceedings of the 6th IEEE Symposium on Logic in Computer Science, Amsterdam, July 1991."},{"key":"33_CR9","first-page":"367","volume-title":"Proceedings of CONCUR '90","author":"C.-C. Jou","year":"1990","unstructured":"C.-C. Jou and S. A. Smolka. Equivalences, congruences, and complete axiomatizations for probabilistic processes. In J. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR '90, pages 367\u2013383, Springer-Verlag, Berlin, 1990."},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. In Proceedings of 16th Annual ACM Symposium on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75307"},{"key":"33_CR11","unstructured":"K. G. Larsen and A. Skou. Compositional verification of probabilistic processes. In Proceedings of CONCUR '92, Springer-Verlag Lecture Notes in Computer Science, 1992."},{"key":"33_CR12","volume-title":"Volume 92 of Lecture Notes in Computer Science","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Volume 92 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1980."},{"key":"33_CR13","first-page":"467","volume-title":"Proceedings of CONCUR '90","author":"C. M. N. Tofts","year":"1990","unstructured":"C. M. N. Tofts. A synchronous calculus of relative frequency. In J. C. M. Baeten and J. W. Klop, editors, Proceedings of CONCUR '90, pages 467\u2013480, Springer-Verlag, Berlin, 1990."},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"R. J. van Glabbeek, S. A. Smolka, B. Steffen, and C. M. N. Tofts. Reactive, generative, and stratified models of probabilistic processes. In Proceedings of the 5th IEEE Symposium on Logic in Computer Science, pages 130\u2013141, Philadelphia, PA, 1990.","DOI":"10.1109\/LICS.1990.113740"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T03:55:17Z","timestamp":1736654117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084810"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558224","9783540472933"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0084810","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"30 September 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}