{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:30:29Z","timestamp":1725615029783},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,3,13]]},"DOI":"10.1145\/1066677.1066776","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"420-427","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A timed extension of ReSpecT"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Ricci","sequence":"first","affiliation":[{"name":"Universita di Bologna, Cesena (FC), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[{"name":"Universita di Bologna, Cesena (FC), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/330560.330665"},{"key":"e_1_3_2_1_4_1","series-title":"The Jini Technology Series","volume-title":"JavaSpaces: Principles, Patterns, and Practice","author":"Freeman E.","year":"1999","unstructured":"E. Freeman , S. Hupfer , and K. Arnold . JavaSpaces: Principles, Patterns, and Practice . The Jini Technology Series . Addison-Wesley , 1999 .]] E. Freeman, S. Hupfer, and K. Arnold. JavaSpaces: Principles, Patterns, and Practice. The Jini Technology Series. Addison-Wesley, 1999.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"81","volume-title":"D. Garlan and D. Le M\u00e9tayer","author":"Jacquet J.-M.","year":"2000","unstructured":"J.-M. Jacquet , K. De Bosschere , and A. Brogi . On timed coordination languages . In D. Garlan and D. Le M\u00e9tayer , editors, Proceedings of the 4th International Conference on Coordination Languages and Models, volume 1906 of LNCS , pages 81 -- 98 , Berlin (D), 2000 . Springer-Verlag .]] J.-M. Jacquet, K. De Bosschere, and A. Brogi. On timed coordination languages. In D. Garlan and D. Le M\u00e9tayer, editors, Proceedings of the 4th International Conference on Coordination Languages and Models, volume 1906 of LNCS, pages 81--98, Berlin (D), 2000. Springer-Verlag.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024145408578"},{"key":"e_1_3_2_1_8_1","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"179","volume-title":"Declarative Programming - Selected Papers from AGP'00","author":"Omicini A.","year":"2001","unstructured":"A. Omicini and E. Denti . Formal ReSpecT . In A. Dovier, M. C. Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP'00 , volume 48 of Electronic Notes in Theoretical Computer Science , pages 179 -- 196 . Elsevier Science B. V. , 2001 .]] A. Omicini and E. Denti. Formal ReSpecT. In A. Dovier, M. C. Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP'00, volume 48 of Electronic Notes in Theoretical Computer Science, pages 179--196. Elsevier Science B. V., 2001.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00011-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018409.1018752"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010060322135"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60208-9"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00026-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/647069.715662"},{"key":"e_1_3_2_1_15_1","unstructured":"TuCSoN home page.http:\/\/lia.deis.unibo.it\/research\/TuCSoN\/.]]  TuCSoN home page.http:\/\/lia.deis.unibo.it\/research\/TuCSoN\/.]]"},{"key":"e_1_3_2_1_16_1","unstructured":"tuProlog home page. http:\/\/lia.deis.unibo.it\/research\/tuProlog\/.]]  tuProlog home page. http:\/\/lia.deis.unibo.it\/research\/tuProlog\/.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.373.0454"}],"event":{"name":"SAC05: The 2005 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Santa Fe New Mexico","acronym":"SAC05"},"container-title":["Proceedings of the 2005 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1066677.1066776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:22:02Z","timestamp":1673119322000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1066677.1066776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3,13]]},"references-count":17,"alternative-id":["10.1145\/1066677.1066776","10.1145\/1066677"],"URL":"https:\/\/doi.org\/10.1145\/1066677.1066776","relation":{},"subject":[],"published":{"date-parts":[[2005,3,13]]},"assertion":[{"value":"2005-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}