{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:03:42Z","timestamp":1725563022401},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148071"},{"type":"electronic","value":"9783642148088"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14808-8_20","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T09:52:01Z","timestamp":1282384321000},"page":"290-305","source":"Crossref","is-referenced-by-count":0,"title":["Complete Calculi for Structured Specifications in Fork Algebra"],"prefix":"10.1007","author":[{"given":"Carlos Gustavo","family":"Lopez Pombo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo Fabi\u00f9n","family":"Frias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"The unified modeling language user guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The unified modeling language user guide. Addison\u2013Wesley Longman Publishing Co., Inc., Boston (1998)"},{"key":"20_CR2","series-title":"Advances in logic","doi-asserted-by":"crossref","DOI":"10.1142\/4899","volume-title":"Fork algebras in algebra, logic and computer science","author":"M.F. Frias","year":"2002","unstructured":"Frias, M.F.: Fork algebras in algebra, logic and computer science. Advances in logic, vol.\u00a02. World Scientific Publishing Co., Singapore (2002)"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-36280-0_5","volume-title":"Relational Methods in Computer Science","author":"M.F. Frias","year":"2002","unstructured":"Frias, M.F., Baum, G.A., Maibaum, T.S.E.: Interpretability of first-order dynamic logic in a relational calculus. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 66\u201380. Springer, Heidelberg (2002)"},{"key":"20_CR4","unstructured":"Frias, M.F., Lopez Pombo, C.G.: Time is on my side. In: Procs. of RelMiCS 7, pp. 105\u2013111 (2003)"},{"issue":"2","key":"20_CR5","first-page":"161","volume":"66","author":"M.F. Frias","year":"2006","unstructured":"Frias, M.F., Lopez Pombo, C.G.: Interpretability of first-order linear temporal logics in fork algebras. JLAP\u00a066(2), 161\u2013184 (2006)","journal-title":"JLAP"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BFb0015747","volume-title":"Local Area Networks: An Advanced Course","author":"J.A. Goguen","year":"1985","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Hutchison, D., Shepherd, W.D., Mariani, J.A. (eds.) Local Area Networks: An Advanced Course. LNCS, vol.\u00a0184, pp. 221\u2013256. Springer, Heidelberg (1985)"},{"key":"20_CR7","first-page":"275","volume-title":"Procs. of the Logic Colloquium 1987","author":"J. Meseguer","year":"1989","unstructured":"Meseguer, J.: General logics. In: Procs. of the Logic Colloquium 1987, vol.\u00a0129, pp. 275\u2013329. North Holland, Amsterdam (1989)"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 478\u2013502. Springer, Heidelberg (1996)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11784180_19","volume-title":"Algebraic Methodology and Software Technology","author":"C.G. Lopez Pombo","year":"2006","unstructured":"Lopez Pombo, C.G., Frias, M.F.: Fork algebras as a sufficiently rich universal institution. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 235\u2013247. Springer, Heidelberg (2006)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T. Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. TCS\u00a0286, 197\u2013245 (2002)","journal-title":"TCS"},{"issue":"3","key":"20_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. JSL\u00a06(3), 73\u201389 (1941)","journal-title":"JSL"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"R.D. Maddux","year":"1989","unstructured":"Maddux, R.D.: Finitary algebraic logic. Zeitschrift fur Mathematisch Logik und Grundlagen der Mathematik\u00a035, 321\u2013332 (1989)","journal-title":"Zeitschrift fur Mathematisch Logik und Grundlagen der Mathematik"},{"key":"20_CR13","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra. Graduate Texts in Mathematics. Springer, Berlin (1981)"},{"issue":"2-3","key":"20_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and computation\u00a076(2-3), 165\u2013210 (1988)","journal-title":"Information and computation"},{"key":"20_CR15","series-title":"NATO Science Series","first-page":"43","volume-title":"Procs. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software","author":"A. Tarlecki","year":"2003","unstructured":"Tarlecki, A.: Abstract specification theory: an overview. In: Procs. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software. NATO Science Series, pp. 43\u201379. IOS Press, Marktoberdorf (2003)"},{"key":"20_CR16","unstructured":"Diaconescu, R. (ed.): Institution-independent Model Theory, Studies in Universal Logic, vol.\u00a02. Birkh\u00e4user, Basel"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., Luttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 519\u2013522. Springer, Heidelberg (2007)"},{"key":"20_CR18","unstructured":"Tarlecki, A.: Towards heterogeneous specifications. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems. Studies in Logic and Computation, vol.\u00a02, pp. 337\u2013360. Research Studies Press (2000)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-68679-8_23","volume-title":"Concurrency, Graphs and Models","author":"M.V. Cengarle","year":"2008","unstructured":"Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A heterogeneous approach to UML semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 383\u2013402. Springer, Heidelberg (2008)"},{"issue":"1","key":"20_CR20","first-page":"194","volume":"6","author":"G. Ro\u015fu","year":"2000","unstructured":"Ro\u015fu, G., Goguen, J.A.: On equational craig interpolation. Journal of Universal Computer Science\u00a06(1), 194\u2013200 (2000)","journal-title":"Journal of Universal Computer Science"},{"key":"20_CR21","volume-title":"A formalization of set theory without variables","author":"A. Tarski","year":"1987","unstructured":"Tarski, A., Givant, S.: A formalization of set theory without variables. American Mathematical Society Colloqium Publications, Providence (1987)"},{"key":"20_CR22","unstructured":"Lopez Pombo, C.G.: Fork algebras as a tool for reasoning across heterogeneous specifications. PhD thesis, Universidad de Buenos Aires (2007)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14808-8_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:57:45Z","timestamp":1606186665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14808-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148071","9783642148088"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14808-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}