{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T08:57:47Z","timestamp":1762505867257,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,23]],"date-time":"2011-10-23T00:00:00Z","timestamp":1319328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,23]]},"DOI":"10.1145\/2095050.2095079","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"171-182","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Behavioral programming, decentralized control, and multiple time scales"],"prefix":"10.1145","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Wiener","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[{"name":"Ben-Gurion University of the Negev, Be'er-Sheva, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,23]]},"reference":[{"volume-title":"workshop (Actors and Agents Reloaded). call-for-papers. http:\/\/apice.unibo.it\/xwiki\/bin\/view\/AGERE\/ .","year":"2011","key":"e_1_3_2_1_1_1","unstructured":"AGERE! workshop (Actors and Agents Reloaded). call-for-papers. http:\/\/apice.unibo.it\/xwiki\/bin\/view\/AGERE\/ . 2011 . AGERE! workshop (Actors and Agents Reloaded). call-for-papers. http:\/\/apice.unibo.it\/xwiki\/bin\/view\/AGERE\/ . 2011."},{"key":"e_1_3_2_1_2_1","unstructured":"Axum Programmer's Guide. Microsoft 2010.  Axum Programmer's Guide. Microsoft 2010."},{"key":"e_1_3_2_1_3_1","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"Agha G.","year":"1985","unstructured":"G. Agha . Actors: a model of concurrent computation in distributed systems . 1985 . G. Agha. Actors: a model of concurrent computation in distributed systems. 1985."},{"key":"e_1_3_2_1_4_1","volume-title":"Behavior-based robotics","author":"Arkin R.","year":"1998","unstructured":"R. Arkin . Behavior-based robotics . MIT Press , 1998 . R. Arkin. Behavior-based robotics. MIT Press, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810891.1810910"},{"key":"e_1_3_2_1_6_1","volume-title":"SCSC","author":"Atir Y.","year":"2007","unstructured":"Y. Atir and D. Harel . Using LSCs for scenario authoring in tactical simulators . In SCSC , 2007 . Y. Atir and D. Harel. Using LSCs for scenario authoring in tactical simulators. In SCSC, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_2"},{"key":"e_1_3_2_1_8_1","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"Bordini R.","year":"2007","unstructured":"R. Bordini , J. H\u00fcbner , and M. Wooldridge . Programming multi-agent systems in AgentSpeak using Jason . John Wiley and Sons , 2007 . R. Bordini, J. H\u00fcbner, and M. Wooldridge. Programming multi-agent systems in AgentSpeak using Jason. John Wiley and Sons, 2007."},{"key":"e_1_3_2_1_9_1","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"Bordini R.","year":"2009","unstructured":"R. Bordini , M. Dastani , J. Dix , and A. Seghrouchni . Multi-Agent Programming: Languages, Tools and Applications . Springer , 2009 . R. Bordini, M. Dastani, J. Dix, and A. Seghrouchni. Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"Design and control of quadrotors with application to autonomous flying","author":"Bouabdallah S.","year":"2007","unstructured":"S. Bouabdallah . Design and control of quadrotors with application to autonomous flying . Lausanne Polytechnic University , 2007 . S. Bouabdallah. Design and control of quadrotors with application to autonomous flying. Lausanne Polytechnic University, 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302409"},{"key":"e_1_3_2_1_12_1","volume-title":"Working notes AAAI spring symp. on hybrid systems and AI","author":"Branicky M.","year":"1999","unstructured":"M. Branicky . Behavioral programming . In Working notes AAAI spring symp. on hybrid systems and AI , 1999 . M. Branicky. Behavioral programming. In Working notes AAAI spring symp. on hybrid systems and AI, 1999."},{"key":"e_1_3_2_1_13_1","volume-title":"Plans and resource-bounded practical reasoning. Computational intelligence","author":"Bratman M.","year":"1988","unstructured":"M. Bratman , D. Israel , and M. Pollack . Plans and resource-bounded practical reasoning. Computational intelligence , 1988 . M. Bratman, D. Israel, and M. Pollack. Plans and resource-bounded practical reasoning. Computational intelligence, 1988."},{"key":"e_1_3_2_1_14_1","volume-title":"A robust layered control system for a mobile robot. Robotics and Automation","author":"Brooks R.","year":"1986","unstructured":"R. Brooks . A robust layered control system for a mobile robot. Robotics and Automation , IEEE Journal of , 1986 . R. Brooks. A robust layered control system for a mobile robot. Robotics and Automation, IEEE Journal of, 1986."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2932431.2932472"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0069-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9036-y"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2011.109"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2011.10"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25974-9_20"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3389\/fncir.2010.00125"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer , 2003 . D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763507.1763556"},{"key":"e_1_3_2_1_26_1","author":"Harel D.","year":"2011","unstructured":"D. Harel and I. Segall . Synthesis from live sequence chart specifications. Journal of Computer System Sciences , 2011 . To appear. D. Harel and I. Segall. Synthesis from live sequence chart specifications. Journal of Computer System Sciences, 2011. To appear.","journal-title":"Journal of Computer System Sciences"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209270"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646187.683385"},{"key":"e_1_3_2_1_29_1","volume-title":"Transformations and Tools","author":"Harel D.","year":"2005","unstructured":"D. Harel , H. Kugler , and G. Weiss . Some methodological observations resulting from experience using LSCs and the play-in\/play-out approach. Scenarios: Models , Transformations and Tools , 2005 . D. Harel, H. Kugler, and G. Weiss. Some methodological observations resulting from experience using LSCs and the play-in\/play-out approach. Scenarios: Models, Transformations and Tools, 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759394.1759409"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859075"},{"key":"e_1_3_2_1_32_1","volume-title":"ECOOP","author":"Harel D.","year":"2010","unstructured":"D. Harel , A. Marron , and G. Weiss . Programming coordinated scenarios in Java . In ECOOP , 2010 . D. Harel, A. Marron, and G. Weiss. Programming coordinated scenarios in Java. In ECOOP, 2010."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038686"},{"key":"e_1_3_2_1_34_1","volume-title":"From control models to real-time code using giotto. Control Systems Magazine","author":"Henzinger T.","year":"2003","unstructured":"T. Henzinger , C. Kirsch , M. Sanvido , and W. Pree . From control models to real-time code using giotto. Control Systems Magazine , IEEE , 2003 . T. Henzinger, C. Kirsch, M. Sanvido, and W. Pree. From control models to real-time code using giotto. Control Systems Magazine, IEEE, 2003."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03278-3"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/367211.367250"},{"key":"e_1_3_2_1_37_1","volume-title":"VPRI Research Note RN-2010-001","author":"Kay A.","year":"2010","unstructured":"A. Kay . Programming and programming languages. Technical report , VPRI Research Note RN-2010-001 , 2010 . A. Kay. Programming and programming languages. Technical report, VPRI Research Note RN-2010-001, 2010."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_9"},{"key":"e_1_3_2_1_39_1","volume-title":"CAV","author":"Kugler H.","year":"2011","unstructured":"H. Kugler , C. Plock , and A. Roberts . Synthesizing biological theories . CAV , 2011 . H. Kugler, C. Plock, and A. Roberts. Synthesizing biological theories. CAV, 2011."},{"key":"e_1_3_2_1_40_1","unstructured":"LEJOS. Java for lego mindstorms. http:\/\/lejos.sourceforge.net\/.  LEJOS. Java for lego mindstorms. http:\/\/lejos.sourceforge.net\/."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8"},{"key":"e_1_3_2_1_42_1","volume-title":"Preprints of the First Nonlinear Control Network Pedagogical School","author":"Lygeros J.","year":"1999","unstructured":"J. Lygeros , G. Pappas , and S. Sastry . An introduction to hybrid system modeling, analysis, and control . Preprints of the First Nonlinear Control Network Pedagogical School , 1999 . J. Lygeros, G. Pappas, and S. Sastry. An introduction to hybrid system modeling, analysis, and control. Preprints of the First Nonlinear Control Network Pedagogical School, 1999."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0151-2"},{"key":"e_1_3_2_1_44_1","volume-title":"Agent based servicebsp model with superstep service for grid computing","author":"Miao W.","year":"2007","unstructured":"W. Miao and W. Tong . Agent based servicebsp model with superstep service for grid computing . 2007 . W. Miao and W. Tong. Agent based servicebsp model with superstep service for grid computing. 2007."},{"key":"e_1_3_2_1_45_1","volume-title":"Department of Industry, and A. Commerce. Modeling rational agents within a BDI-architecture","author":"Rao A.","year":"1991","unstructured":"A. Rao , M. Georgeff , A. A. I. Institute , T. Department of Industry, and A. Commerce. Modeling rational agents within a BDI-architecture . Australian Artificial Intelligence Institute , 1991 . A. Rao, M. Georgeff, A. A. I. Institute, T. Department of Industry, and A. Commerce. Modeling rational agents within a BDI-architecture. Australian Artificial Intelligence Institute, 1991."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85058-8_16"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2007.1076"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988051.1988056"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"e_1_3_2_1_50_1","volume-title":"Programming with agents: New metaphors for thinking about computation","author":"Travers M.","year":"1996","unstructured":"M. Travers . Programming with agents: New metaphors for thinking about computation . 1996 . M. Travers. Programming with agents: New metaphors for thinking about computation. 1996."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863509.1863512"}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Portland Oregon USA","acronym":"SPLASH '11"},"container-title":["Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095050.2095079","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095050.2095079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:41Z","timestamp":1750240121000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095050.2095079"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,23]]},"references-count":51,"alternative-id":["10.1145\/2095050.2095079","10.1145\/2095050"],"URL":"https:\/\/doi.org\/10.1145\/2095050.2095079","relation":{},"subject":[],"published":{"date-parts":[[2011,10,23]]},"assertion":[{"value":"2011-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}