{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:40:23Z","timestamp":1725496823679},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665366"},{"type":"electronic","value":"9783540481683"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48168-0_4","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T06:30:26Z","timestamp":1196490626000},"page":"32-49","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logical Specification of Operational Semantics"],"prefix":"10.1007","author":[{"given":"Peter D.","family":"Mosses","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","volume-title":"TAPSOFT\u201987, Proc. Int. Joint Conf. on Theory and Practice of Software Development, Pisa","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano and G. Reggio. SMoLCS driven concurrent calculi. In TAPSOFT\u201987, Proc. Int. Joint Conf. on Theory and Practice of Software Development, Pisa, volume 249 of LNCS. Springer-Verlag, 1987."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"D. Berry, R. Milner, and D. N. Turner. A semantics for ML concurrency primitives. In Proc. 17th Annual ACM Symposium on Principles of Programming Languages, pages 119\u2013129. ACM, 1992.","DOI":"10.1145\/143165.143191"},{"key":"4_CR3","unstructured":"R. Bruni, J. Meseguer, and U. Montanari. Process and term tile logic. Technical Report SRI-CSL-98-06, Computer Science Lab., SRI International, July 1998."},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-57887-0_99","volume-title":"TACS\u201994, Symposium on Theoretical Aspects of Computer Software","author":"R. Cartwright","year":"1994","unstructured":"R. Cartwright and M. Felleisen. Extensible denotational language specifications. In M. Hagiya and J. C. Mitchell, editors, TACS\u201994, Symposium on Theoretical Aspects of Computer Software, volume 789 of LNCS, pages 244\u2013272, Sendai, Japan, 1994. Springer-Verlag."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In Meseguer [22], pages 65\u201389.","DOI":"10.1016\/S1571-0661(04)00034-9"},{"key":"4_CR6","unstructured":"CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW1 and FTP2."},{"key":"4_CR7","unstructured":"CoFI Language Design Task Group. CASL The CoFI Algebraic Specification Language Summary. Documents\/CASL\/Summary, in [6], Oct. 1998."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics, and abstract interpretation. In Proc. POPL\u201992, pages 83\u201394. ACM, 1992.","DOI":"10.1145\/143165.143184"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/234528.234748","volume":"28","author":"P. Degano","year":"1996","unstructured":"P. Degano and C. Priami. Enhanced operational semantics. ACM Computing Surveys, 28(2):352\u2013354, June 1996.","journal-title":"ACM Computing Surveys"},{"key":"4_CR10","unstructured":"M. Felleisen and D. P. Friedman. Control operators, the SECD machine, and the _-calculus. In Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl. Avern_s, 1986, pages 193\u2013217. North-Holland, 1987."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"102","author":"M. Felleisen","year":"1992","unstructured":"M. Felleisen and R. Hieb. The reveised report on the syntactic theories of sequential control and state. Theoretical Comput. Sci., 102:235\u2013271, 1992.","journal-title":"Theoretical Comput. Sci"},{"issue":"5","key":"4_CR12","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0956796898003165","volume":"8","author":"W. Ferreira","year":"1998","unstructured":"W. Ferreira, M. Hennessy, and A. Jeffrey. A theory of weak bisumulation for core CML. J. Functional Programming, 8(5):447\u2013451, 1998.","journal-title":"J. Functional Programming"},{"key":"4_CR13","unstructured":"F. Gadducci and U. Montanari. Tiles, rewriting rules, and CCS. In Meseguer [22]."},{"key":"4_CR14","unstructured":"F. Gadducci and U. Montanari. The tile model. In Proof, Language, and Interaction. The MIT Press, 1999. To appear."},{"key":"4_CR15","unstructured":"R. Harper and C. Stone. A type-theoretic interpretation of Standard ML. In G. Plotkin, C. Stirling, and M. Tofte, editors, Robin Milner Festschrifft. MIT Press, 1998. To appear."},{"key":"4_CR16","unstructured":"A. S. A. Jeffrey. Semantics for core concurrent ML using computation types. In A. D. Gordon and A. J. Pitts, editors, Higher Order Operational Techniques in Semantics, Proceedings. Cambridge University Press, 1997."},{"key":"4_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BFb0039592","volume-title":"STACS\u201987, Proc. Symp. on Theoretical Aspects of Computer Science","author":"G. Kahn","year":"1987","unstructured":"G. Kahn. Natural semantics. In STACS\u201987, Proc. Symp. on Theoretical Aspects of Computer Science, volume 247 of LNCS, pages 22\u201339. Springer-Verlag, 1987."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"P. J. Landin. The mechanical evaluation of expressions. Computer Journal, 6:308\u2013320, 1964.","journal-title":"Computer Journal"},{"key":"4_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/BFb0032056","volume-title":"Proc. ICALP\u201990","author":"K. G. Larsen","year":"1990","unstructured":"K. G. Larsen and L. Xinxin. Compositionality through operational semantics of contexts. In Proc. ICALP\u201990, volume 443 of LNCS, pages 526\u2013539. Springer-Verlag, 1990."},{"key":"4_CR20","unstructured":"N. Marti-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. In D. Gabbay, editor, Handbook of Philosophical Logic, volume 6. Kluwer Academic Publishers, 1998. `Also Technical Report SRI-CSL-93-05, SRI International, August 1993."},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"4_CR22","unstructured":"J. Meseguer, editor. First International Workshop on Rewriting Logic, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar (California), September 1996."},{"key":"4_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-61604-7_64","volume-title":"Proc. CONCUR\u201996","author":"J. Meseguer","year":"1996","unstructured":"J. Meseguer. Rewriting logic as a semantic framework for concurrency: A progress report. In U. Montanari and V. Sassone, editors, Proc. CONCUR\u201996, volume 1119 of LNCS, pages 331\u2013372. Springer-Verlag, 1996."},{"key":"4_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer. Membership algebra as a semantic framework for equational specification. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS, pages 18\u201361. Springer-Verlag, 1998."},{"key":"4_CR25","series-title":"Lect Notes Comput Sci","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"J. Meseguer and U. Montanari. Mapping tile logic into rewriting logic. In F. Parisi-Presicce, editor, Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS. Springer-Verlag, 1998."},{"key":"4_CR26","volume-title":"Handbook of Theoretical Computer Science","author":"R. Milner","year":"1990","unstructured":"R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, A. Meyer, M. Nivat, M. Paterson, and D. Perrin, editors, Handbook of Theoretical Computer Science, volume B, chapter 19. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990."},{"key":"4_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Proc. ICALP\u201992","author":"R. Milner","year":"1992","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. ICALP\u201992, volume 623 of LNCS, pages 685\u2013695. Springer-Verlag, 1992."},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"4_CR29","unstructured":"P. D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992."},{"key":"4_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-61550-4_139","volume-title":"MFCS\u2019 96, Proc. 21st Int. Symp. on Mathematical Foundations of Computer Science (Cracow, Poland\u2019 Sept. 1996)","author":"P. D. Mosses","year":"1996","unstructured":"P. D. Mosses. Theory and practice of action semantics. In MFCS\u2019 96, Proc. 21st Int. Symp. on Mathematical Foundations of Computer Science (Cracow, Poland\u2019 Sept. 1996), volume 1113 of LNCS, pages 37\u201361. Springer-Verlag, 1996."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"P. D. Mosses. Semantics, modularity, and rewriting logic. In C. Kirchner and H. Kirchner, editors, WRLA\u201998, Proc. 2nd Int. Workshop on Rewriting Logic and its Applications, Pont-_a-Mousson, France, volume 15 of Electronic Notes in Theoretical Computer Science, 1998. http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html.","DOI":"10.1016\/S1571-0661(05)80026-X"},{"key":"4_CR32","series-title":"Lect Notes Comput Sci","volume-title":"MFCS\u201999, Proc. 24th Intl. Symp. on Mathematical Foundations of Computer Science, Szklarska-Poreba, Poland","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. Foundations of Modular SOS (extended abstract). In MFCS\u201999, Proc. 24th Intl. Symp. on Mathematical Foundations of Computer Science, Szklarska-Poreba, Poland, LNCS. Springer-Verlag, 1999. To appear."},{"key":"4_CR33","volume-title":"Research series, BRICS","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. A modular SOS for Action Notation. Research series, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999. To appear. Draft available from \nhttp:\/\/www.brics.dk\/~{}pdm\/\n\n."},{"key":"4_CR34","volume-title":"Number NS-99-3 in Notes Series, BRICS","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses. A modular SOS for Action Notation (extended abstract). Number NS-99-3 in Notes Series, BRICS, Dept. of Computer Science, Univ. of Aarhus, May 1999. Full version available [33]."},{"key":"4_CR35","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CONCUR\u201996","author":"A. M. Pitts","year":"1996","unstructured":"A. M. Pitts and J. R. X. Ross. Process calculus based upon evaluation to committed form. In U. Montanari and V. Sassone, editors, Proc. CONCUR\u201996, volume 1119 of LNCS. Springer-Verlag, 1996."},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. D. Plotkin","year":"1975","unstructured":"G. D. Plotkin. Call-by-name, call-by-value, and the _-calculus. Theoretical Comput. Sci., 1:125\u2013159, 1975.","journal-title":"Theoretical Comput. Sci"},{"key":"4_CR37","volume-title":"Lecture Notes DAIMI FN19","author":"G. D. Plotkin","year":"1981","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Lecture Notes DAIMI FN19, Dept. of Computer Science, Univ. of Aarhus, 1981."},{"key":"4_CR38","unstructured":"C. Priami. Enhanced Operational Semantics for Concurrency. PhD thesis, Dipartimento di Informatica, Universit_a degli Studi di Pisa, 1996."},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"J. H. Reppy. CML: A higher-order concurrent language. In Proc. SIGPLAN\u201991, Conf. on Prog. Lang. Design and Impl., pages 293\u2013305. ACM, 1991.","DOI":"10.1145\/113446.113470"},{"key":"4_CR40","series-title":"PhD thesis","volume-title":"Higher-Order Concurrency","author":"J. H. Reppy","year":"1992","unstructured":"J. H. Reppy. Higher-Order Concurrency. PhD thesis, Computer Science Dept., Cornell Univ., 1992. Tech. Rep. TR 92-1285."},{"key":"4_CR41","series-title":"PhD thesis","volume-title":"Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms","author":"D. Sangiorgi","year":"1992","unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, Dept. of Computer Science, Univ. of Edinburgh,1992."},{"key":"4_CR42","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BFb0055628","volume-title":"Proc. CONCUR\u201998","author":"P. Sewell","year":"1998","unstructured":"P. Sewell. From rewrite to bisimulation congruences. In Proc. CONCUR\u201998, volume 1466 of LNCS, pages 269\u2013284. Springer-Verlag, 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T00:08:02Z","timestamp":1586131682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}