{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:29Z","timestamp":1725663509219},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180869"},{"type":"electronic","value":"9783540477433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18086-9_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:25:22Z","timestamp":1330179922000},"page":"21-44","source":"Crossref","is-referenced-by-count":10,"title":["GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems"],"prefix":"10.1007","author":[{"given":"F.","family":"Cindio","sequence":"first","affiliation":[]},{"given":"G.","family":"Michelis","sequence":"additional","affiliation":[]},{"given":"C.","family":"Simone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets, a class of high-level nets having objects as domains, Proc.8th Workshop on Application and theory of Petri Nets, june 1987 (to appear)","DOI":"10.1007\/3-540-50580-6_22"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"G. Berthelot, Transformation and Decompositions of Nets, Proc. Advanced Course on Petri Nets, Bad-Honnef (D), sept. 1986","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"G. Bracchi, B. Pernici, SOS: a conceptual model for office information systems, Proc. ACM-SICMOD Database Week Conference, S. Jose-Calif., 1983","DOI":"10.1145\/647004.711873"},{"key":"2_CR4","unstructured":"L. Castellano, F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Dual notions of equivalence for Petrinets, I.C. Internal Report (2nd version), 1986"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"V. De Antonellis, A. Di Leva, DATAID-1: a database design methodology, Information Systems, vol.10.1, H.J. Schneider ed., Pergamon Press, 1984","DOI":"10.1016\/0306-4379(85)90035-3"},{"key":"2_CR6","volume-title":"E-R Approach to Systems Analysis and Design","author":"V. Antonellis De","year":"1980","unstructured":"V. De Antonellis, G. Degli Antoni, G. Mauri, B. Zonta, Extending the entity relationship approach to take into account historical aspects of systems, E-R Approach to Systems Analysis and Design, P. Chen ed., North Holland, Amsterdam, 1980"},{"key":"2_CR7","volume-title":"Superposed Automata Nets","author":"F. Cindio De","year":"1982","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Superposed Automata Nets, IFB 52, Springer-Verlag, Berlin, 1982"},{"key":"2_CR8","volume-title":"System Design for, with and by the Users","author":"F. Cindio De","year":"1983","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Conditions and Tools for an effective Negotiation during the Organization\/Information System Design process, in U. Briefs, C. Ciborra, L. Schneider (eds), System Design for, with and by the Users, North Holland, Amsterdam, 1983"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, C. Simone, Organizational Games Rules with Superposed Automata Nets, Proceedings IEEE Workshop on Languages for Automation, Chicago, 1983","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, C. Simone, Giving back some Freedom to System Designer, System Research, 2.4, 1985","DOI":"10.1002\/sres.3850020405"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, C. Simone, GAMERU: a language for the analysis and design of human communication pragmatics within organizational systems (extended version), DSI Internal Report, 1986","DOI":"10.1007\/3-540-18086-9_18"},{"key":"2_CR12","unstructured":"F. De Cindio, G. De Michelis, C. Simone, The Communication Disciplines of CHAOS, Advances in Petri Nets (special volume), LNCS, Springer-Verlag, Berlin, 198"},{"key":"2_CR13","volume-title":"CSCW 86","author":"F. Cindio De","year":"1986","unstructured":"F. De Cindio, G. De Michelis, C. Simone, R. Vassallo, A. Zanaboni, CHAOS as a Coordination Technology, in CSCW 86, MCC, Austin, 1986"},{"key":"2_CR14","unstructured":"G. Degli Antoni, Modelli per l'automazione d'ufficio, Rivista di Informatica, XI.4, 1982"},{"key":"2_CR15","unstructured":"G. De Michelis, Sistemi autopoietici del terzo ordine: il caso degli uffici, Metamorfosi 3, 1986"},{"key":"2_CR16","unstructured":"Meta Software Corporation, Design, in \"Toolexhibition\", Proc. Advanced Course on Petri Nets, Bad-Honnef (D), sept.1986"},{"key":"2_CR17","volume-title":"Office Automation: Metodi e technologie","author":"G. D. Antoni","year":"1986","unstructured":"G. Degli Antoni, H. Le Van, L'automazione di ufficio come meccanizzazione del rapporto tra tema e disciplina della comunicazione, in Office Automation: Metodi e technologie, G. Degli Antoni, G. Occhini eds., Masson, Milano, 1986"},{"key":"2_CR18","volume-title":"Integrated Office Systems Burotics","author":"C. Ellis","year":"1980","unstructured":"C. Ellis, Office modelling. An introspection into the what and why of office models, in Integrated Office Systems Burotics, N. Naffah (ed.), North Holland, Amsterdam, 1980"},{"key":"2_CR19","unstructured":"M. Hack, Extended Stat-Machine Allocatable Nets, an extension of Free Choice Petri Nets result, MIT Project MAC, MAC-TR 78-1, Cambridge (Ma, Usa), 1974"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, CACM 21.8, 1978","DOI":"10.1145\/359576.359585"},{"key":"2_CR21","volume-title":"Advances in Petri Nets '85","author":"A. W. Holt","year":"1986","unstructured":"A. W. Holt, Coordination Technology and Petri Nets, in G. Rozenberg (ed.) Advances in Petri Nets '85, LNCS 222, Springer-Verlag, Berlin, 1986"},{"key":"2_CR22","unstructured":"G. Marcon, TEBE: Tools for Exhibited-Behaviour Equivalence, DSI Internal Report, jan. 1987"},{"key":"2_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner, A Calculus for Communicating Systems, LNCS 92, Springer-Verlag, Berlin, 1980"},{"key":"2_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8947-4","volume-title":"Autopoiesis and Cognition","author":"H.R. Maturana","year":"1980","unstructured":"H.R. Maturana, F. Varela, Autopoiesis and Cognition, Reidel, Dordrecht, 1980"},{"key":"2_CR25","unstructured":"C.A. Petri, Communication Disciplines, in B. Shaw (ed.), Proc. of the Joint IBM-Univ. of Newcastle upon Tyne Seminar, Univ.of Newcastle upon Tyne Computing Lab., 1977"},{"key":"2_CR26","volume-title":"Advances in Petri Nets '85","author":"L. Pomello","year":"1986","unstructured":"L. Pomello, Some Equivalence Notions for Concurrent Systems, An Overview, in G. Rozenberg (ed.) Advances in Petri Nets '85, LNCS 222, Springer-Verlag, Berlin, 1986"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"W. Reisig, System Design Using Petri Nets, Proc. 4th European Workshop on Petri Nets, Toulouse (F), 1983","DOI":"10.1007\/978-3-642-69293-2_3"},{"key":"2_CR28","volume-title":"Advances in Petri Nets '85","author":"G. Richter","year":"1986","unstructured":"G. Richter, K. Voss, Toward a comprehensive office model integrating information and resources, in G. Rozenberg (ed.) Advances in Petri Nets '85, LNCS 222, Springer-Verlag, Berlin, 1986"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"J. Searle, How to derive \u2018ought\u2019 from \u2018is', Philosophical Review 73, 1964","DOI":"10.2307\/2183201"},{"key":"2_CR30","volume-title":"Value of formal information system models for a flexible reorganization in an Insurance Company","author":"H.F. Wedde","year":"1985","unstructured":"H.F. Wedde, Value of formal information system models for a flexible reorganization in an Insurance Company, Proc. 2nd Symp. on Empirical Foundation of Software and Systems Sciences, Georgetech, Atlanta, Plenum, New York, 1985"},{"key":"2_CR31","volume-title":"Understanding Computers and Cognition","author":"T. Winograd","year":"1986","unstructured":"T. Winograd, F. Flores, Understanding Computers and Cognition, Ablex, New York, 1986"},{"key":"2_CR32","volume-title":"Philosophische Untersuchungen","author":"L. Wittgenstein","year":"1953","unstructured":"L. Wittgenstein, Philosophische Untersuchungen, Blackwell, Oxford, 1953"},{"key":"2_CR33","unstructured":"M.D. Zisman, Integrated Office Automation Systems, in Infotech: State of the Art Report, \"Convergence: Computers, communication and Office Automation\", vol.1\u20132, Marlow, 1979"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1987"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18086-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:03:27Z","timestamp":1640898207000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18086-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180869","9783540477433"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-18086-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}