{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:48:55Z","timestamp":1725990535712},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319998398"},{"type":"electronic","value":"9783319998404"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99840-4_4","type":"book-chapter","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T07:29:08Z","timestamp":1536305348000},"page":"59-75","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Parameterized Programming for Compositional System Specification"],"prefix":"10.1007","author":[{"given":"\u00d3scar","family":"Mart\u00edn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Verdejo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narciso","family":"Mart\u00ed-Oliet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L Alfaro de","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems, pp. 83\u2013104. Springer, Dordrecht (2005). \nhttps:\/\/doi.org\/10.1007\/1-4020-3532-2_3"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"Abstract Software Specifications","author":"RM Burstall","year":"1980","unstructured":"Burstall, R.M., Goguen, J.A.: The semantics of CLEAR, a specification language. In: Bj\u00f8orner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 292\u2013332. Springer, Heidelberg (1980). \nhttps:\/\/doi.org\/10.1007\/3-540-10007-5_41"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-08867-9_22","volume-title":"Computer Aided Verification","author":"R Cavada","year":"2014","unstructured":"Cavada, R.: The nuXmv symbolic model checker. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 334\u2013342. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-08867-9_22"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., et al.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1644","DOI":"10.1007\/3-540-48118-4_37","volume-title":"FM\u201999 \u2014 Formal Methods","author":"R Diaconescu","year":"1999","unstructured":"Diaconescu, R., Futatsugi, K., Iida, S.: Component-based algebraic specification and verification in CafeOBJ. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1644\u20131663. Springer, Heidelberg (1999). \nhttps:\/\/doi.org\/10.1007\/3-540-48118-4_37"},{"key":"4_CR6","series-title":"Electronic Notes in Theoretical Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/S1571-0661(05)80136-7","volume-title":"WRLA 2000","author":"F Dur\u00e1n","year":"2000","unstructured":"Dur\u00e1n, F., Meseguer, J.: Parameterized theories and views in Full Maude 2.0. In: Futatsugi, K. (ed.) WRLA 2000. Electronic Notes in Theoretical Computer Science, pp. 316\u2013338. Elsevier, Amsterdam (2000). \nhttps:\/\/doi.org\/10.1016\/S1571-0661(05)80136-7"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Gianola, A., Kasangian, S., Sabadini, N.: Cospan\/Span(Graph): an algebra for open, reconfigurable automata networks. In: CALCO. LIPIcs, vol. 72, pp. 2:1\u20132:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017). \nhttps:\/\/doi.org\/10.4230\/LIPIcs.CALCO.2017.2","DOI":"10.4230\/LIPIcs.CALCO.2017.2"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-69108-1_20","volume-title":"Application and Theory of Petri Nets 1998","author":"E Kindler","year":"1998","unstructured":"Kindler, E., Vesper, T.: ESTL: a temporal logic for events and states. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 365\u2013384. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/3-540-69108-1_20"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/345099.345104","volume":"22","author":"O Kupferman","year":"2000","unstructured":"Kupferman, O., Vardi, M.Y.: An automata-theoretic approach to modular model checking. ACM Trans. Program. Lang. Syst. 22(1), 87\u2013128 (2000). \nhttps:\/\/doi.org\/10.1145\/345099.345104","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR10","unstructured":"Mart\u00edn, \u00d3., Verdejo, A., Mart\u00ed-Oliet, N.: Modular specification in rewriting logic (extended version). Technical report 04\/17, Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Facultad de Inform\u00e1tica, Universidad Complutense de Madrid (2017). \nhttp:\/\/eprints.ucm.es\/45264\/"},{"key":"4_CR11","unstructured":"Mart\u00edn, \u00d3., Verdejo, A., Mart\u00ed-Oliet, N.: Alternating bit protocol as an example of compositional system specification. Technical report 01\/18, Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Facultad de Inform\u00e1tica, Universidad Complutense de Madrid (2018). \nhttp:\/\/eprints.ucm.es\/46243\/"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73\u2013155 (1992). \nhttps:\/\/doi.org\/10.1016\/0304-3975(92)90182-F","journal-title":"Theor. Comput. Sci."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-540-68679-8_22","volume-title":"Concurrency, Graphs and Models","author":"J Meseguer","year":"2008","unstructured":"Meseguer, J.: The temporal logic of rewriting: a gentle introduction. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 354\u2013382. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-68679-8_22"},{"key":"4_CR14","unstructured":"Owre, S., Shankar, N.: Theory Interpretations in PVS. Techical report, SRI International, April 2001 (2001). \nhttp:\/\/pvs.csl.sri.com\/doc\/interpretations.pdf"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","volume":"46","author":"GA Papadopoulos","year":"1998","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329\u2013400 (1998). \nhttps:\/\/doi.org\/10.1016\/S0065-2458(08)60208-9","journal-title":"Adv. Comput."}],"container-title":["Lecture Notes in Computer Science","Rewriting Logic and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99840-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T07:30:31Z","timestamp":1536305431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99840-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319998398","9783319998404"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99840-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}