{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:55Z","timestamp":1725611455598},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634027"},{"type":"electronic","value":"9783642608896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-642-60889-6_39","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T23:25:54Z","timestamp":1316474754000},"page":"359-367","source":"Crossref","is-referenced-by-count":0,"title":["Proxy Possible Flow Semantics for Enterprise Formulae and Artefact Possible Lives Models"],"prefix":"10.1007","author":[{"given":"J.","family":"Goossenaerts","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Goossenaerts, J., Gruninger, M., Nell, J.G., Petit, M., Vernadat, F., Formal semantics of Enterprise Models, Workshop 4, working Group2, Part I of this volume."},{"key":"39_CR2","volume-title":"Information Infrastructure Systems for Manufacturing","author":"J Goossenaerts","year":"1993","unstructured":"Goossenaerts, J., Enterprise Formulae and Information Infrastructures for Manufacturing. In: Yoshikawa, H., Goossenaerts, J. (eds.): Information Infrastructure Systems for Manufacturing, IFIP Transactions B-14, Ellesmere Science B.V. (North Holland), Amsterdam, 1993."},{"key":"39_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-35063-9","volume-title":"Information Infrastructure Systems for Manufacturing","author":"J Goossenaerts","year":"1997","unstructured":"Goossenaerts, J., A Framework for Connecting Work and Information Infrastructure. In: Goossenaerts, J., Kimura, F., Wortmann, J.C. (eds): Information Infrastructure Systems for Manufacturing, Chapman & Hall, 1997."},{"key":"39_CR4","volume-title":"Foundations of the Theory of Signs","author":"CW Morris","year":"1938","unstructured":"Morris, C.W., Foundations of the Theory of Signs. University of Chicago Press, Chicago, 1938."},{"key":"39_CR5","unstructured":"Tarski, A., Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Philosophica, (1, pp.261\u2013405), 1936. English translation by Woodger, J.H.: The Concept of Truth in Formalized Languages. in: Tarski, A., Logic, Semantics, Meta-mathematics.s papers from 1923 to 1938, The Clarendon Press, Oxford, 1956."},{"key":"39_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"SA Kripke","year":"1963","unstructured":"Kripke, S.A., Semantical Analysis of Modal Logic I, Normal Propositional Calculi. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\n                    9 (pp. 67\u201396) 1963.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"39_CR7","volume-title":"Handbook of Theoretical Computer Science, Volume B, Ellesmere","author":"P Cousot","year":"1990","unstructured":"Cousot, P., Methods and logic for Proving Programs. In: J. van Lewes, Handbook of Theoretical Computer Science, Volume B, Ellesmere, Amsterdam & The MIT Press, Cambridge, Massachusetts, 1990."},{"key":"39_CR8","volume-title":"Business Process Engineering - Reference Modelsfor Industrial Enterprises","author":"A-W Schemer","year":"1994","unstructured":"Schemer, A.-W., Business Process Engineering - Reference Models for Industrial Enterprises, Springier Overflag, Berlin, 1994."},{"key":"39_CR9","volume-title":"Integrated Manufacturing Systems Engineering","author":"J Goossenaerts","year":"1995","unstructured":"Goossenaerts, J., Bj\u00f6rner, D., Inter-flow systems for manufacturing: concepts and a construction. In: Ladet, P., Vernadat, F.B. (eds): Integrated Manufacturing Systems Engineering, Chapman&Hall, London, England,1995."}],"container-title":["Enterprise Engineering and Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60889-6_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T11:44:13Z","timestamp":1620301453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60889-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634027","9783642608896"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60889-6_39","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}