{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:30:12Z","timestamp":1740547812894,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219934"},{"type":"electronic","value":"9783540246800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24680-0_105","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T22:50:22Z","timestamp":1283986222000},"page":"660-668","source":"Crossref","is-referenced-by-count":0,"title":["CoAuto: A Formal Model for Cooperative Processes"],"prefix":"10.1007","author":[{"given":"Jinlei","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Meilin","family":"Shi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"105_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-61052-9_38","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"1996","unstructured":"Arbab, F.: The IWIM Model for Coordination of Concurrent Activities. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 34\u201356. Springer, Heidelberg (1996)"},{"key":"105_CR2","unstructured":"Bonsangue, M.M., Arbab, F.: A Transition System Semantics for the Control-Driven Coordination Language Manifold. Report SEN-R9829, CWI, Amsterdam, The Netherlands (1998)"},{"key":"105_CR3","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/267896.267913","volume":"6","author":"S.C. Cheung","year":"1997","unstructured":"Cheung, S.C., Giannakopoulou, D., Kramer, J.: Verification of Liveness Properties Using Compositional Reachability Analysis. ACM SIGSOFT Software Engineering Notes\u00a06, 227\u2013243 (1997)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"105_CR4","doi-asserted-by":"crossref","unstructured":"Crowley, T., Milazzo, P., et al.: MMConf: an Infrastructure for Building Shared Multimedia Applications. In: Proc. of ACM Conf. on CSCW, pp. 329\u2013342 (1990)","DOI":"10.1145\/99332.99365"},{"key":"105_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0027103","volume-title":"Coordination Technology for Collaborative Applications","author":"C.A. Ellis","year":"1998","unstructured":"Ellis, C.A.: A Framework and Mathematical Model for Collaboration Technology. In: Conen, W. (ed.) ASIAN-WS 1996. LNCS, vol.\u00a01364, pp. 121\u2013144. Springer, Heidelberg (1998)"},{"key":"105_CR6","doi-asserted-by":"crossref","unstructured":"Ellis, C.A., Gibbs, S.J.: Concurrency Control in Groupware Systems. In: Proc. of ACM Conf. on Management of Data, pp. 399\u2013407 (1989)","DOI":"10.1145\/67544.66963"},{"key":"105_CR7","first-page":"219","volume":"3","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An Introduction to Input\/Output Automaton. CWI Quarterly\u00a03, 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"105_CR8","doi-asserted-by":"crossref","unstructured":"Papadopoulos, G.A., Arbab, F.: Coordination Models and Languages. Report SENR9834, CWI, Amsterdam, The Netherlands (1998)","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"105_CR9","doi-asserted-by":"crossref","unstructured":"Roseman, M., Greenberg, S.,, G.: A Groupware Toolkit for Building Real-time Conferencing Applications. In: Proc. of ACM Conf. on CSCW, pp. 43\u201350 (1992)","DOI":"10.1145\/143457.143460"},{"key":"105_CR10","doi-asserted-by":"crossref","unstructured":"Sistla, A.P.: On Characterization of Safety and Liveness Properties in Temporal Logic. In: Proc. of ACM symposium on Principles of Distributed Computing, pp. 39\u201348 (1985)","DOI":"10.1145\/323596.323600"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24680-0_105.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:16:20Z","timestamp":1740503780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24680-0_105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219934","9783540246800"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24680-0_105","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}