{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:36Z","timestamp":1725574596432},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_4","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"63-78","source":"Crossref","is-referenced-by-count":7,"title":["Probabilistic Congruence for Semistochastic Generative Processes"],"prefix":"10.1007","author":[{"given":"Ruggero","family":"Lanotte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Tini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/B978-044482830-9\/50021-7","volume-title":"Handbook of Process Algebra","author":"L. Aceto","year":"2001","unstructured":"Aceto, L., Fokkink, W.J., Verhoef, C.: Structural Operational Semantics. In: Handbook of Process Algebra, pp. 197\u2013292. Elsevier, Amsterdam (2001)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-2004-12202","volume":"12","author":"A. Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A Process-algebraic Approach for the Analysis of Probabilistic Non-interference. J. Comput. Secur.\u00a012, 191\u2013245 (2004)","journal-title":"J. Comput. Secur."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"121","author":"J.C.M. Baeten","year":"1995","unstructured":"Baeten, J.C.M., Bergstra, J.A., Smolka, S.A.: Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Inf. Comput.\u00a0121, 234\u2013255 (1995)","journal-title":"Inf. Comput."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR\u201993","author":"J.C.M. Baeten","year":"1993","unstructured":"Baeten, J.C.M., Verhoef, C.: A Congruence Theorem for Structured Operational Semantics with Predicates. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715. Springer, Heidelberg (1993)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-63166-6_14","volume-title":"Computer Aided Verification","author":"C. Baier","year":"1997","unstructured":"Baier, C., Hermanns, H.: Weak Bisimulation for Fully Probabilistic Processes. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 119\u2013130. Springer, Heidelberg (1997)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bartels, F.: GSOS for Probabilistic Transition Systems. In: Proc. Coalgebraic Methods in Computer Science. ENTCS 65 (2002)","DOI":"10.1016\/S1571-0661(04)80358-X"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B. Bloom","year":"1995","unstructured":"Bloom, B., Istrail, S., Meyer, A.: Bisimulation Can\u2019t Be Traced. J. Assoc. Comput. Mach.\u00a042, 232\u2013268 (1995)","journal-title":"J. Assoc. Comput. Mach."},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1016\/S0304-3975(01)00344-9","volume":"290","author":"M. Bravetti","year":"2003","unstructured":"Bravetti, M., Aldini, A.: Discrete Time Generative-reactive Probabilistic Processes with Different Advancing Speeds. Theor. Comput. Sci.\u00a0290, 355\u2013406 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio, P.R., Hermanns, H., Katoen, J.P.: On Generative Parallel Composition. In: Proc. Probabilistic Methods in Verification. ENTCS 22 (1999)","DOI":"10.1016\/S1571-0661(05)80596-1"},{"key":"4_CR10","unstructured":"Giacalone, A., Jou, C.C., Smolka, S.A.: Algebraic Reasoning for Probabilistic Concurrent Systems. In: IFIP Work. Conf. on Progr., Concepts and Methods (1990)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Smolka, S.A., Steffen, B.: Reactive, Generative and Stratified Models of Probabilistic Processes. Inf. Comput.\u00a0121, 59\u201380 (1995)","journal-title":"Inf. Comput."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J.F. Groote","year":"1992","unstructured":"Groote, J.F., Vaandrager, F.: Structured Operational Semantics and Bisimulation as a Congruence. Inf. Comput.\u00a0100, 202\u2013260 (1992)","journal-title":"Inf. Comput."},{"key":"4_CR13","unstructured":"Jonsson, B., Larsen, K.L., Yi, W.: Probabilistic Extensions of Process Algebras. In: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"4_CR14","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. Technical report DAIMI FN-19, University of Aarhus (1981)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Plotkin, G.: A Structural Approach to Operational Semantics. J. Log. Algebr. Program., 60\u201361, 17\u2013139 (2004)","DOI":"10.1016\/j.jlap.2004.05.001"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone de","year":"1985","unstructured":"de Simone, R.: Higher-level Synchronizing Devices in Meije-SCCS. Theor. Comput. Sci.\u00a037, 245\u2013267 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-36575-3_10","volume-title":"Programming Languages and Systems","author":"S. Tini","year":"2003","unstructured":"Tini, S.: Rule Formats for Non-Interference. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 129\u2013143. Springer, Heidelberg (2003)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/j.jlap.2004.03.003","volume":"61","author":"S. Tini","year":"2004","unstructured":"Tini, S.: Rule Formats for Compositional non Interference Properties. J. Log. Algebr. Program., 60\u201361, 353\u2013400 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/S0890-5401(02)93161-5","volume":"178","author":"I. Ulidowski","year":"2002","unstructured":"Ulidowski, I., Phillips, I.: Ordered SOS Process Languages for Branching and Eager Bisimulations. Inf. Comput.\u00a0178, 180\u2013213 (2002)","journal-title":"Inf. Comput."},{"key":"4_CR20","first-page":"274","volume":"2","author":"C. Verhoef","year":"1995","unstructured":"Verhoef, C.: A Congruence Theorem for Structural Operational Semantics with Predicates and Negative Premises. Nord. J. Comput.\u00a02, 274\u2013302 (1995)","journal-title":"Nord. J. Comput."},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","volume":"176","author":"S.H. Wu","year":"1997","unstructured":"Wu, S.H., Smolka, S.A., Stark, E.W.: Composition and Behaviors of Probabilistic I\/O Automata. Theor. Comput. Sci.\u00a0176, 1\u201338 (1997)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T11:08:19Z","timestamp":1637147299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}