{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:21:57Z","timestamp":1749334917220},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642384929"},{"type":"electronic","value":"9783642384936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38493-6_9","type":"book-chapter","created":{"date-parts":[[2013,5,9]],"date-time":"2013-05-09T20:45:06Z","timestamp":1368132306000},"page":"121-135","source":"Crossref","is-referenced-by-count":16,"title":["Peer-Based Programming Model for Coordination Patterns"],"prefix":"10.1007","author":[{"given":"Eva","family":"K\u00fchn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Cra\u00df","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Joskowicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Marek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Scheller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Final Draft International Standard\u00a0ISO\/IEC 15909. High-level petri nets - concepts, definitions and graphical notation. Technical report, V. 4.7.1 (October 2000)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 559\u2013573. Springer, Heidelberg (2007)"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F. Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-30829-1_5","volume-title":"Coordination Models and Languages","author":"D. Clarke","year":"2012","unstructured":"Clarke, D., Proen\u00e7a, J.: Partial connector colouring. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 59\u201373. Springer, Heidelberg (2012)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cra\u00df, S., D\u00f6nz, T., Joskowicz, G., K\u00fchn, E.: A coordination-driven authorization framework for space containers. In: 7th Int\u2019l Conf. on Availability, Reliability and Security (ARES), pp. 133\u2013142. IEEE (2012)","DOI":"10.1109\/ARES.2012.56"},{"issue":"1","key":"9_CR6","first-page":"76","volume":"4","author":"S. Cra\u00df","year":"2013","unstructured":"Cra\u00df, S., D\u00f6nz, T., Joskowicz, G., K\u00fchn, E., Marek, A.: Securing a space-based service architecture with coordination-driven access control. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)\u00a04(1), 76\u201397 (2013)","journal-title":"Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cra\u00df, S., K\u00fchn, E., Salzer, G.: Algebraic foundation of a data model for an extensible space-based collaboration protocol. In: Int. Database Engineering and Applications Symposium (IDEAS), pp. 301\u2013306. ACM (2009)","DOI":"10.1145\/1620432.1620466"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst.\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s100090050039","volume":"2","author":"G. Holzmann","year":"2000","unstructured":"Holzmann, G., Najm, E., Serhrouchni, A.: Spin model checking: an introduction. International Journal on Software Tools for Technology Transfer (STTT)\u00a02(4), 321\u2013327 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int. Journal on Software Tools for Technology Transfer (STTT)\u00a09, 213\u2013254 (2007)","journal-title":"Int. Journal on Software Tools for Technology Transfer (STTT)"},{"key":"9_CR11","unstructured":"K\u00fchn, E., Mordinyi, R., Keszthelyi, L., Schreiber, C.: Introducing the concept of customizable structured spaces for agent coordination in the production automation domain. In: 8th Int\u2019l Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp. 625\u2013632. IFAAMAS (2009)"},{"key":"9_CR12","unstructured":"Milner, R.: The polyadic pi-calculus: a tutorial. Technical report, Logic and Algebra of Specification (1991)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Mordinyi, R., K\u00fchn, E., Schatten, A.: Towards an architectural framework for agile software development. In: 17th IEEE Int. Conf. and Workshops on the Engineering of Computer-Based Systems (ECBS), pp. 276\u2013280. IEEE (2010)","DOI":"10.1109\/ECBS.2010.38"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"A.V. Ratzer","year":"2003","unstructured":"Ratzer, A.V., Wells, L., Lassen, H.M., Laursen, M., Qvortrup, J.F., Stissing, M.S., Westergaard, M., Christensen, S., Jensen, K.: CPN tools for editing, simulating, and analysing coloured petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 450\u2013462. Springer, Heidelberg (2003)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and parallel databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and parallel databases"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38493-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T20:04:04Z","timestamp":1557691444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38493-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384929","9783642384936"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}