{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:20:27Z","timestamp":1740097227188,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491911"},{"type":"electronic","value":"9783662491928"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49192-8_40","type":"book-chapter","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T10:47:27Z","timestamp":1452163647000},"page":"490-502","source":"Crossref","is-referenced-by-count":0,"title":["The Simulation Relation for Formal E-Contracts"],"prefix":"10.1007","author":[{"given":"Luis","family":"Llana","sequence":"first","affiliation":[]},{"given":"Mar\u00eda-Emilia","family":"Cambronero","sequence":"additional","affiliation":[]},{"given":"Gregorio","family":"D\u00edaz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,8]]},"reference":[{"key":"40_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-23283-1_4","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2011","author":"L Aceto","year":"2011","unstructured":"Aceto, L., de Frutos Escrig, D., Gregorio-Rodr\u00edguez, C., Ingolfsdottir, A.: Axiomatizing weak ready simulation semantics over BCCSP. In: Cerone, A., Pihlajasaari, P. (eds.) ICTAC 2011. LNCS, vol. 6916, pp. 7\u201324. Springer, Heidelberg (2011)"},{"key":"40_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","volume-title":"Fundamental Approaches to Software Engineering","author":"SS Bauer","year":"2012","unstructured":"Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., W\u0105sowski, A.: Moving from specifications to contracts in component-based design. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 43\u201358. Springer, Heidelberg (2012)"},{"issue":"2","key":"40_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/635499.635502","volume":"4","author":"D Bustan","year":"2003","unstructured":"Bustan, D., Grumberg, O.: Simulation-based minimization. ACM Trans. Comput. Logic 4(2), 181\u2013206 (2003). ACM, New York. \n                      http:\/\/doi.acm.org\/10.1145\/635499.635502","journal-title":"ACM Trans. Comput. Logic"},{"key":"40_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-319-10223-8_13","volume-title":"Controlled Natural Language","author":"JJ Camilleri","year":"2014","unstructured":"Camilleri, J.J., Paganelli, G., Schneider, G.: A CNL for contract-oriented diagrams. In: Davis, B., Kaljurand, K., Kuhn, T. (eds.) CNL 2014. LNCS, vol. 8625, pp. 135\u2013146. Springer, Heidelberg (2014)"},{"issue":"8","key":"40_CR5","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1109\/TSE.2013.54","volume":"40","author":"G D\u00edaz","year":"2014","unstructured":"D\u00edaz, G., Cambronero, M.E., Mart\u00ednez, E., Schneider, G.: Specification and verification of normativetexts using C-O diagrams. IEEE Trans. Softw. Eng. 40(8), 795\u2013817 (2014). \n                      http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2013.54","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"40_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1023\/A:1027328830731","volume":"31","author":"R Gentilini","year":"2003","unstructured":"Gentilini, R., Piazza, C., Policriti, A.: From bisimulation to simulation: coarsest partition problems. J. Autom. Reasoning 31(1), 73\u2013103 (2003)","journal-title":"J. Autom. Reasoning"},{"issue":"4","key":"40_CR7","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Int. J. Coop. Inf. Syst. 15(4), 659\u2013685 (2006). \n                      http:\/\/dx.doi.org\/10.1142\/S0218843006001529","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Gregorio-Rodr\u00edguez, C., Llana, L., Mart\u00ednez-Torres, R.: Extending mCRL2 with ready simulation and iocos input-output conformance simulation. In: The 30th ACM\/SIGAPP Symposium on Applied Computing, April 2015, to appear","DOI":"10.1145\/2695664.2695853"},{"key":"40_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-662-43613-4_7","volume-title":"Formal Techniques for Distributed Objects,\u00a0Components, and Systems","author":"C Gregorio-Rodr\u00edguez","year":"2014","unstructured":"Gregorio-Rodr\u00edguez, C., Llana, L., Mart\u00ednez-Torres, R.: Effectiveness for inputoutput conformance simulation iocos. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 100\u2013116. Springer, Heidelberg (2014). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-662-43613-4_7"},{"issue":"2","key":"40_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Inf. Comput. 117(2), 221\u2013239 (1995). \n                      http:\/\/dx.doi.org\/10.1006\/inco.1995.1041","journal-title":"Inf. Comput."},{"key":"40_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-71209-1_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J-P Katoen","year":"2007","unstructured":"Katoen, J.-P., Kemna, T., Zapreev, I., Jansen, D.N.: Bisimulation minimisation mostly speeds up probabilistic model checking. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 87\u2013101. Springer, Heidelberg (2007). \n                      http:\/\/dx.doi.org\/10.1007\/978-3-540-71209-1_9"},{"key":"40_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/978-3-540-88387-6_34","volume-title":"Automated Technology for Verification and Analysis","author":"M Kyas","year":"2008","unstructured":"Kyas, M., Prisacariu, C., Schneider, G.: Run-time monitoring of electronic contracts. In: Cha, S.S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 397\u2013407. Springer, Heidelberg (2008)"},{"issue":"7","key":"40_CR13","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1016\/j.ic.2010.02.001","volume":"208","author":"G L\u00fcttgen","year":"2010","unstructured":"L\u00fcttgen, G., Vogler, W.: Ready simulation for concurrency: It\u2019s logical!. Inf. Comput. 208(7), 845\u2013867 (2010)","journal-title":"Inf. Comput."},{"key":"40_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-00255-7_20","volume-title":"Integrated Formal Methods","author":"GJ Pace","year":"2009","unstructured":"Pace, G.J., Schneider, G.: Challenges in the specification of full contracts. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 292\u2013306. Springer, Heidelberg (2009)"},{"key":"40_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-540-72952-5_11","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"C Prisacariu","year":"2007","unstructured":"Prisacariu, C., Schneider, G.: A formal language for electronic contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174\u2013189. Springer, Heidelberg (2007)"},{"key":"40_CR16","unstructured":"Prisacariu, C., Schneider, G.: CL: A Logic for Reasoning about Legal Contracts Semantics. Technical report, University of Oslo (2008)"},{"key":"40_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/978-3-642-40313-2_66","volume-title":"Mathematical Foundations of Computer Science 2013","author":"F Ranzato","year":"2013","unstructured":"Ranzato, F.: A more efficient simulation algorithm on kripke structures. In: Chatterjee, K., Sgall, J. (eds.) MFCS 2013. LNCS, vol. 8087, pp. 753\u2013764. Springer, Heidelberg (2013)"},{"issue":"2","key":"40_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S Schneider","year":"1995","unstructured":"Schneider, S.: An operational semantics for timed CSP. Inf. Comput. 116(2), 193\u2013213 (1995). \n                      http:\/\/dx.doi.org\/10.1006\/inco.1995.1014","journal-title":"Inf. Comput."},{"key":"40_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/3-540-61604-7_75","volume-title":"CONCUR 1996: Concurrency Theory","author":"S Ta\u015eiran","year":"1996","unstructured":"Ta\u015eiran, S., Alur, R., Kurshan, R.P., Brayton, R.K.: Verifying abstractions of timed systems. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 546\u2013562. Springer, Heidelberg (1996). \n                      http:\/\/dx.doi.org\/10.1007\/3-540-61604-7_75"},{"key":"40_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH Wright von","year":"1951","unstructured":"von Wright, G.H.: Deontic logic. Mind 60, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2016: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49192-8_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:50:31Z","timestamp":1559364631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49192-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662491911","9783662491928"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49192-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}