{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:19Z","timestamp":1725456319319},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029970","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:24:59Z","timestamp":1133418299000},"page":"269-278","source":"Crossref","is-referenced-by-count":1,"title":["Relating conflict-free stable transition and event models (extended abstract)"],"prefix":"10.1007","author":[{"given":"Zurab","family":"Khasidashvili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Glauert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"27_CR1","first-page":"1","volume":"11","author":"A. Asperti","year":"1993","unstructured":"Asperti A., Laneve C. Interaction Systems I: The theory of optimal reductions. MSCS 11:1\u201348, 1993.","journal-title":"MSCS"},{"key":"27_CR2","unstructured":"Barendregt H. P. The Lambda Calculus, its Syntax and Semantics. 1984."},{"key":"27_CR3","unstructured":"Boudol G. Computational semantics of term rewriting systems. In: Algebraic methods in semantics. Nivat M., Reynolds J.C., eds. Camb. Univ. Press, 1985, p. 169\u2013236."},{"key":"27_CR4","first-page":"545","volume":"6","author":"D. Clark","year":"1996","unstructured":"Clark D., Kennaway R. Event structures and non-orthogonal term graph rewriting. MSCS 6:545\u2013578, 1996.","journal-title":"MSCS"},{"key":"27_CR5","unstructured":"Corradini A., Ehrig H., L\u00f6we M., Montanari U., Rossi F. An event structure semantics for safe graph grammars. PROCOMET'94, IFIP Transactions A-56, 1994."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Glauert J.R.W., Khasidashvili Z. Relative normalization in deterministic residual structures. CAAP'96, Springer LNCS, vol. 1059, H. Kirchner, ed. 1996, p. 180\u2013195.","DOI":"10.1007\/3-540-61064-2_37"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Gonthier G., L\u00e9vy J.-J., Melli\u00e8s P.-A. An abstract Standardisation theorem. In: Proc. of LICS'92, Santa Cruz, California, 1992, p. 72\u201381.","DOI":"10.1109\/LICS.1992.185521"},{"issue":"4","key":"27_CR8","first-page":"545","volume":"34","author":"R.J. Hindley","year":"1969","unstructured":"Hindley R.J. An abstract form of the Church-Rosser theorem. JSL 34(4):545\u2013560, 1969.","journal-title":"JSL"},{"key":"27_CR9","unstructured":"Huet G., L\u00e9vy J.-J. Computations in Orthogonal Rewriting Systems. In: Computational Logic, Essays in Honor of Alan Robinson, J. L. Lassez and G. Plotkin, eds. MIT Press, p. 394\u2013443, 1991."},{"key":"27_CR10","unstructured":"Kennaway J. R., Sleep M. R. Neededness is hypernormalizing in regular combinatory reduction systems. Report. University of East Anglia, 1989."},{"key":"27_CR11","unstructured":"Kennaway J. R., Klop J. W., Sleep M. R, de Vries F.-J. Event structures and orthogonal term graph rewriting. In Sleep M. R., Plasmeijer M. J., van Eekelen M. C. J. D., eds. Term Graph Rewriting: Theory and Practice. John Wiley, p. 141\u2013156, 1993."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Khasidashvili Z., Glauert J. R. W. Discrete normalization and Standardization in Deterministic Residual Structures. ALP'96, Springer LNCS, vol. 1139, M. Hanus, M. Rodr\u00edguez-Artalejo, eds. 1996, p.135\u2013149.","DOI":"10.1007\/3-540-61735-3_9"},{"key":"27_CR13","unstructured":"Khasidashvili Z., Glauert J.R.W. Zig-zag, extraction and separable families in nonduplicating stable Deterministic Residual Structures. Technical Report IR-420, Free University, Amsterdam, February 1997."},{"key":"27_CR14","series-title":"Report SYS-C97-??","volume-title":"An abstract concept of optimal implementation","author":"Z. Khasidashvili","year":"1997","unstructured":"Khasidashvili Z., Glauert J.R.W. An abstract concept of optimal implementation. Report SYS-C97-??, UEA, Norwich, 1997."},{"key":"27_CR15","series-title":"Mathematical Centre Tracts n. 127","volume-title":"Combinatory Reduction Systems","author":"J. W. Klop","year":"1980","unstructured":"Klop J. W. Combinatory Reduction Systems. Mathematical Centre Tracts n. 127, CWI, Amsterdam, 1980."},{"issue":"4","key":"27_CR16","doi-asserted-by":"crossref","first-page":"333","DOI":"10.3233\/FI-1994-2043","volume":"20","author":"C. Laneve","year":"1994","unstructured":"Laneve C. Distributive evaluations of \u039b-calculus, Fundamenta Informaticae, 20(4):333\u2013352, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"27_CR17","unstructured":"L\u00e9vy J.-J. Reductions correctes et optimales dans le lambda-calcul, Th\u00e8se de l'Universit\u00e9 de Paris VII, 1978."},{"key":"27_CR18","unstructured":"L\u00e9vy J.-J. Optimal reductions in the Lambda-calculus. In: To H. B. Curry: Essays on Combinatory Logic, Lambda-calculus and Formalism, Hindley J. R., Seldin J. P. eds, Academic Press, 1980, p. 159\u2013192."},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Maranget L. Optimal derivations in weak \u039b-calculi and in orthogonal Term Rewriting Systems. In: Proc. of POPL'91, p. 255\u2013269.","DOI":"10.1145\/99583.99618"},{"key":"27_CR20","unstructured":"Milner R. Communication and concurrency. Prentice Hall, 1989."},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen M., Plotkin G., Winskel G. Petri nets, event structures and domains. Part 1. TCS 13:85\u2013108,1981.","journal-title":"Part 1. TCS"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Van Oostrom V. Higher order families. In: Proc. of RTA'96, Springer LNCS, vol. 1103, Ganzinger, H., ed., 1996, p. 392\u2013407.","DOI":"10.1007\/3-540-61464-8_67"},{"key":"27_CR23","unstructured":"Sangiorgi D. Expressing mobility in process algebras: first-order and higher-order paradigms. Ph.D. Thesis, Edinburgh University, 1993."},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Schied G. On relating rewrite systems and graph grammars to event structures. Springer LNCS, vol. 776, Schneider H.-J. Ehrig H., eds, 1994, p. 326\u2013340.","DOI":"10.1007\/3-540-57787-4_21"},{"issue":"3","key":"27_CR25","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(89)90050-9","volume":"64","author":"E. W. Stark","year":"1989","unstructured":"Stark E. W. Concurrent transition systems. TCS 64(3):221\u2013270, 1989.","journal-title":"TCS"},{"key":"27_CR26","unstructured":"Winskel G. Events in Computation. Ph.D. Thesis, University of Edinburgh, 1980."},{"key":"27_CR27","first-page":"364","volume":"354","author":"G. Winskel","year":"1989","unstructured":"Winskel G. An introduction to Event Structures. Springer LNCS, vol. 354, 1989, p. 364\u2013397. Full version: Cambr. Univ. Comp. Lab. Report n. 95, 1986.","journal-title":"Springer LNCS"},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"Winskel G., Nielsen M. Models for concurrency. In: S. Abramsky, D. Gabbay, T. Maibaum eds. Handbook of Logic in Computer Science, vol. 4, Oxford Univ. Press, p. 1\u2013148, 1995.","DOI":"10.1093\/oso\/9780198537809.003.0001"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:59:09Z","timestamp":1706770749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0029970","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}