{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:54:52Z","timestamp":1725576892256},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205388"},{"type":"electronic","value":"9783540400226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_15","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T14:15:31Z","timestamp":1296137731000},"page":"295-320","source":"Crossref","is-referenced-by-count":6,"title":["Team Automata for CSCW \u2013 A Survey \u2013"],"prefix":"10.1007","author":[{"given":"Jetty","family":"Kleijn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF00262973","volume":"17","author":"A. Arnold","year":"1982","unstructured":"Arnold, A.: Synchronized Behaviours of Processes and Rational Relations. Acta Informatica\u00a017, 21\u201329 (1982)","journal-title":"Acta Informatica"},{"key":"15_CR2","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems. Prentice Hall, Englewood Cliffs (1994)"},{"key":"15_CR3","unstructured":"Badouel, E., Darondeau, P., Quichaud, D., Tokmakoff, A.: Modelling Dynamic Agent Systems with Cooperating Automata. Publication Interne 1253, Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires, Rennes (1999)"},{"key":"15_CR4","unstructured":"ter Beek, M.H.: Team Automata. Ph.D. thesis, Leiden University (in preparation)"},{"key":"15_CR5","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in Team Automata for Groupware Systems. To appear in Computer Supported Cooperative Work"},{"key":"15_CR6","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Team Automata for CSCW. In: Weber, H., Ehrig, H., Reisig, W. (eds.) Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin, Germany, pp. 1\u201320 (2001)"},{"key":"15_CR7","first-page":"59","volume-title":"Proceedings of the Seventh European Conference on Computer Supported Cooperative Work","author":"M.H. Beek ter","year":"2001","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Team Automata for Spatial Access Control. In: Prinz, W., Jarke, M., Rogers, Y., Schmidt, K., Wulf, V. (eds.) Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, pp. 59\u201377. Kluwer Academic Publishers, Dordrecht (2001)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM\u00a031(3), 560\u2013599 (1984)","journal-title":"Journal of the ACM"},{"key":"15_CR9","doi-asserted-by":"publisher","DOI":"10.1142\/9789814261456","volume-title":"Book of Traces","author":"V. Diekert","year":"1995","unstructured":"Diekert, V., Rozenberg, G.: Book of Traces. World Scientific, Singapore (1995)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(86)90094-0","volume":"42","author":"C. Duboc","year":"1986","unstructured":"Duboc, C.: Mixed Product and Asynchronous Automata. Theoretical Computer Science\u00a042, 183\u2013199 (1986)","journal-title":"Theoretical Computer Science"},{"key":"15_CR11","first-page":"415","volume-title":"Proceedings of GROUP1997","author":"C.A. Ellis","year":"1997","unstructured":"Ellis, C.A.: Team Automata for Groupware Systems. In: Clifford, J., Lindsday, B., Maier, D. (eds.) Proceedings of GROUP1997, pp. 415\u2013424. ACM Press, New York (1997)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-58201-0_66","volume-title":"Automata, Languages, and Programming","author":"R. Gawlick","year":"1994","unstructured":"Gawlick, R., Segala, R., S\u00f8gaard-Andersen, F.F., Lynch, N.: Liveness in Timed and Untimed Systems. In: Shamir, E., Abiteboul, S. (eds.) ICALP 1994. LNCS, vol.\u00a0820, pp. 166\u2013177. Springer, Heidelberg (1994)"},{"key":"15_CR13","series-title":"EATCS Monograhps on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77337-2","volume-title":"Specification and Analysis of Concurrent Systems, The COSY Approach","author":"R. Janicki","year":"1992","unstructured":"Janicki, R., Laurer, P.E.: Specification and Analysis of Concurrent Systems, The COSY Approach. EATCS Monograhps on Theoretical Computer Science. Springer, Berlin (1992)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s002360050072","volume":"34","author":"N.W. Keesmaat","year":"1997","unstructured":"Keesmaat, N.W., Kleijn, H.C.M.: Net-based Control versus Rational Control: The Relation between ITNC Vector Languages and Rational Relations. Acta Informatica\u00a034, 23\u201357 (1997)","journal-title":"Acta Informatica"},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.3233\/FI-1990-13305","volume":"13","author":"N.W. Keesmaat","year":"1990","unstructured":"Keesmaat, N.W., Kleijn, H.C.M., Rozenberg, G.: Vector Controlled Concurrent Systems, Part I: Basic Classes. Fundamenta Informaticae\u00a013, 275\u2013316 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1991-14102","volume":"14","author":"N.W. Keesmaat","year":"1991","unstructured":"Keesmaat, N.W., Kleijn, H.C.M., Rozenberg, G.: Vector Controlled Concurrent Systems, Part II: Comparisons. Fundamenta Informaticae\u00a014, 1\u201338 (1991)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR17","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo (1996)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical Correctness Proofs for Distributed Algorithms. In: Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pp. 137\u2013151 (1987)","DOI":"10.1145\/41840.41852"},{"issue":"3","key":"15_CR19","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An Introduction to Input\/Output Automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989); Also Technical Memo MIT\/LCS\/TM-373, Massachusetts Institute of Technology, Cambridge, Massachusetts (1988)","journal-title":"CWI Quarterly"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BFb0013025","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"A. Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A.: Basic Notions of Trace Theory. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 285\u2013363. Springer, Heidelberg (1989)"},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/BFb0055647","volume-title":"CONCUR \u201998 Concurrency Theory","author":"R. Morin","year":"1998","unstructured":"Morin, R.: Decompositions of Asynchronous Systems. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 549\u2013564. Springer, Heidelberg (1998)"},{"key":"15_CR22","unstructured":"M\u00fcller, O.: A Verification Environment for I\/O Automata Based on Formalized Meta-Theory. Ph.D. thesis, Technische Universit\u00e4t M\u00fcnchen (1998)"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets II: Applications","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01492. Springer, Heidelberg (1998)"},{"key":"#cr-split#-15_CR25.1","unstructured":"Tuttle, M.R.: Hierarchical Correctness Proofs for Distributed Algorithms. Master\u2019s thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts (1987);"},{"key":"#cr-split#-15_CR25.2","unstructured":"Also Technical ReportMIT\/LCS\/TR-387, Massachusetts Institute of Technology, Cambridge, Massachusetts (1987)"},{"key":"15_CR26","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1051\/ita\/1987210200991","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on Finite Asynchronous Automata. R. A. I. R. O. \u2014 Inform. Th\u00e9or. Appl.\u00a021, 99\u2013135 (1987)","journal-title":"R. A. I. R. O. \u2014 Inform. Th\u00e9or. Appl."}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,5]],"date-time":"2023-06-05T00:22:18Z","timestamp":1685924538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}