{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:54:39Z","timestamp":1729608879345,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/enabl.2003.1231395","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"123-128","source":"Crossref","is-referenced-by-count":0,"title":["Automatic synthesis of coordinators for COTS groupware applications: an example"],"prefix":"10.1109","author":[{"given":"P.","family":"Inverardi","sequence":"first","affiliation":[]},{"given":"M.","family":"Tivoli","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bucchiarone","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Coordinators synthesis for cots group-ware systems: an example","author":"inverardi","year":"2003","journal-title":"Technical Report"},{"key":"ref11","article-title":"Design issues and model for a distributed multiuser editor","volume":"5","author":"koch","year":"1996","journal-title":"Computer Supported Cooperative Work International Journal"},{"key":"ref12","first-page":"44","article-title":"Using component technology for group editors - the iris group editor environment","author":"koch","year":"1997","journal-title":"Proc Workshop on Object Oriented Groupware Platforms"},{"key":"ref13","first-page":"236","article-title":"Clover architecture for group-ware","author":"laurillau","year":"0"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.2190\/CWI"},{"key":"ref15","first-page":"219","article-title":"A model for semi-(a)synchronous collaborative editing","author":"lee","year":"1993","journal-title":"Proceedings of the Third European Conference on Computer Supported Cooperative Work"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/289444.289492"},{"year":"1989","author":"milner","article-title":"Communication and Concurrency","key":"ref17"},{"key":"ref18","article-title":"Coordination models and languages","author":"papadopoulos","year":"1998","journal-title":"CWI Centrum voor Wiskunde en Informatica"},{"key":"ref19","first-page":"195","article-title":"Coordinating activities in collaborative environments: A high level petri nets based approach","volume":"1","author":"raposo","year":"2000","journal-title":"SCI 2000 - 4th World Muticonference on Systemics Cybernetics and Informatics Proceedings"},{"year":"2001","author":"edmund","article-title":"Model Checking","key":"ref4"},{"key":"ref3","article-title":"An implementation model for collaborative applications","volume":"1","author":"corts","year":"1998","journal-title":"Proceedings of CLEI'96 (Bogota Colombia)"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/192844.192888"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1145\/66926.66963","article-title":"Concurrency control in group-ware systems","author":"ellis","year":"1989","journal-title":"Proceedings of the 1989 ACM SICMOD international conference on Management of data"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/503225.503227"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/2.291294"},{"key":"ref2","first-page":"31","article-title":"Coordination of massively concurrent activities","author":"arbab","year":"1995","journal-title":"Centrum voor Wiskunde en Informatica (CWI)"},{"year":"1996","key":"ref1"},{"key":"ref9","article-title":"Failures-free connector synthesis for correct components assembly","author":"inverardi","year":"2003","journal-title":"Technical Report"},{"key":"ref20","article-title":"Detecting implied scenarios in message sequence chart specifications","author":"uchitel","year":"2001","journal-title":"ACM Proceedings of the joint 8th ESEC and 9th FSE"},{"year":"1997","author":"wang","article-title":"A multi-agent architecture for cooperative software engineering","key":"ref21"}],"event":{"acronym":"ENABL-03","name":"Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises","location":"Linz, Austria"},"container-title":["WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8713\/27586\/01231395.pdf?arnumber=1231395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:18:32Z","timestamp":1497583112000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1231395\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/enabl.2003.1231395","relation":{},"subject":[]}}