:facetid:toc:\"db/conf/coordination/coordination2000.bht\"OK:facetid:toc:db/conf/coordination/coordination2000.bhtFranz AchermannStefan KneubuehlOscar NierstraszScripting Coordination Styles.COORDINATION19-352000Conference and Workshop Papersclosedconf/coordination/AchermannKN0010.1007/3-540-45263-X_2https://doi.org/10.1007/3-540-45263-X_2https://dblp.org/rec/conf/coordination/AchermannKN00URL#6445275Luís Filipe AndradeJosé Luiz FiadeiroJoão GouveiaAntónia LopesMichel WermelingerPatterns for Coordination.COORDINATION317-3222000Conference and Workshop Papersclosedconf/coordination/AndradeFGLW0010.1007/3-540-45263-X_22https://doi.org/10.1007/3-540-45263-X_22https://dblp.org/rec/conf/coordination/AndradeFGLW00URL#6445276Xuhui AoNaftaly H. MinskyThu D. NguyenVictoria UngureanuLaw-Governed Internet Communities.COORDINATION133-1472000Conference and Workshop Papersclosedconf/coordination/AoMNU0010.1007/3-540-45263-X_9https://doi.org/10.1007/3-540-45263-X_9https://dblp.org/rec/conf/coordination/AoMNU00URL#6445277Farhad ArbabFrank S. de BoerMarcello M. BonsangueA Logical Interface Description Language for Components.COORDINATION249-2662000Conference and Workshop Papersclosedconf/coordination/ArbabBB0010.1007/3-540-45263-X_16https://doi.org/10.1007/3-540-45263-X_16https://dblp.org/rec/conf/coordination/ArbabBB00URL#6445278Farhad ArbabÉric MonfroyDistributed Splitting of Constraint Satisfaction Problems.COORDINATION115-1322000Conference and Workshop Papersclosedconf/coordination/ArbabM0010.1007/3-540-45263-X_8https://doi.org/10.1007/3-540-45263-X_8https://dblp.org/rec/conf/coordination/ArbabM00URL#6445279Stephen BarrettBrendan TangneyWilde: Supporting Change in Groupware.COORDINATION329-3342000Conference and Workshop Papersclosedconf/coordination/BarrettT0010.1007/3-540-45263-X_24https://doi.org/10.1007/3-540-45263-X_24https://dblp.org/rec/conf/coordination/BarrettT00URL#6445280Frank S. de BoerMaurizio GabbrielliMaria Chiara MeoA Timed Linda Language.COORDINATION299-3042000Conference and Workshop Papersclosedconf/coordination/BoerGM0010.1007/3-540-45263-X_19https://doi.org/10.1007/3-540-45263-X_19https://dblp.org/rec/conf/coordination/BoerGM00URL#6445281Prasanta K. BoseMark G. MatthewsAn Agent Mediated Approach to Dynamic Change in Coordination Policies.COORDINATION164-1812000Conference and Workshop Papersclosedconf/coordination/BoseM0010.1007/3-540-45263-X_11https://doi.org/10.1007/3-540-45263-X_11https://dblp.org/rec/conf/coordination/BoseM00URL#6445282Rance CleavelandXiaoqun DuScott A. SmolkaGCCS: A Graphical Coordination Language for System Specification.COORDINATION284-2982000Conference and Workshop Papersclosedconf/coordination/CleavelandDS0010.1007/3-540-45263-X_18https://doi.org/10.1007/3-540-45263-X_18https://dblp.org/rec/conf/coordination/CleavelandDS00URL#6445283Marco CremoniniAndrea OmiciniFranco ZambonelliCoordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach.COORDINATION99-1142000Conference and Workshop Papersclosedconf/coordination/CremoniniOZ0010.1007/3-540-45263-X_7https://doi.org/10.1007/3-540-45263-X_7https://dblp.org/rec/conf/coordination/CremoniniOZ00URL#6445284Paul DecheringIzak van LangeveldeOn the Verification of Coordination.COORDINATION335-3402000Conference and Workshop Papersclosedconf/coordination/DecheringL0010.1007/3-540-45263-X_25https://doi.org/10.1007/3-540-45263-X_25https://dblp.org/rec/conf/coordination/DecheringL00URL#6445285Enrico DentiAndrea OmiciniVladimiro ToschiThe LuCe Coordination Technology for MAS Design and Development on the Internet.COORDINATION305-3102000Conference and Workshop Papersclosedconf/coordination/DentiOT0010.1007/3-540-45263-X_20https://doi.org/10.1007/3-540-45263-X_20https://dblp.org/rec/conf/coordination/DentiOT00URL#6445286Stéphane DucasseThomas HofmannOscar NierstraszOpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces.COORDINATION1-182000Conference and Workshop Papersclosedconf/coordination/DucasseHN0010.1007/3-540-45263-X_1https://doi.org/10.1007/3-540-45263-X_1https://dblp.org/rec/conf/coordination/DucasseHN00URL#6445287Gian-Luigi Ferrari 0002Carlo MontangeroLaura SeminiSimone SempriniMobile Agents Coordination in Mobadtl.COORDINATION232-2482000Conference and Workshop Papersclosedconf/coordination/FerrariMSS0010.1007/3-540-45263-X_15https://doi.org/10.1007/3-540-45263-X_15https://dblp.org/rec/conf/coordination/FerrariMSS00URL#6445288Masatomo HashimotoAkinori YonezawaMobileML: A Programming Language for Mobile Computation.COORDINATION198-2152000Conference and Workshop Papersclosedconf/coordination/HashimotoY0010.1007/3-540-45263-X_13https://doi.org/10.1007/3-540-45263-X_13https://dblp.org/rec/conf/coordination/HashimotoY00URL#6445289Dan HirschPaola InverardiUgo MontanariReconfiguration of Software Architecture Styles with Name Mobility.COORDINATION148-1632000Conference and Workshop Papersclosedconf/coordination/HirschIM0010.1007/3-540-45263-X_10https://doi.org/10.1007/3-540-45263-X_10https://dblp.org/rec/conf/coordination/HirschIM00URL#6445290Paola InverardiHenry MucciniCoordination Models and Software Architectures in a Unified Software Development Process.COORDINATION323-3282000Conference and Workshop Papersclosedconf/coordination/InverardiM0010.1007/3-540-45263-X_23https://doi.org/10.1007/3-540-45263-X_23https://dblp.org/rec/conf/coordination/InverardiM00URL#6445291Jeremy L. JacobAlan M. WoodA Principled Semantics for inp.COORDINATION51-652000Conference and Workshop Papersclosedconf/coordination/JacobW0010.1007/3-540-45263-X_4https://doi.org/10.1007/3-540-45263-X_4https://dblp.org/rec/conf/coordination/JacobW00URL#6445292Jean-Marie JacquetKoenraad De BosschereAntonio BrogiOn Timed Coordination Languages.COORDINATION81-982000Conference and Workshop Papersclosedconf/coordination/JacquetBB0010.1007/3-540-45263-X_6https://doi.org/10.1007/3-540-45263-X_6https://dblp.org/rec/conf/coordination/JacquetBB00URL#6445293Stefan J. JohanssonPaul DavidssonBengt CarlssonCoordination Models for Dynamic Resource Allocation.COORDINATION182-1972000Conference and Workshop Papersclosedconf/coordination/JohanssonDC0010.1007/3-540-45263-X_12https://doi.org/10.1007/3-540-45263-X_12https://dblp.org/rec/conf/coordination/JohanssonDC00URL#6445294Mika KataraHybrid Models for Mobile Computing.COORDINATION216-2312000Conference and Workshop Papersclosedconf/coordination/Katara0010.1007/3-540-45263-X_14https://doi.org/10.1007/3-540-45263-X_14https://dblp.org/rec/conf/coordination/Katara00URL#6445295Piergiulio KatisNicoletta SabadiniRobert F. C. WaltersA Formalization of the IWIM Model.COORDINATION267-2832000Conference and Workshop Papersclosedconf/coordination/KatisSW0010.1007/3-540-45263-X_17https://doi.org/10.1007/3-540-45263-X_17https://dblp.org/rec/conf/coordination/KatisSW00URL#6445296Joost N. KokKaisa SereCoordination-Based Design of Distributed Systems.COORDINATION347-3522000Conference and Workshop Papersclosedconf/coordination/KokS0010.1007/3-540-45263-X_27https://doi.org/10.1007/3-540-45263-X_27https://dblp.org/rec/conf/coordination/KokS00URL#6445297Iain MerrickAlan WoodScoped Coordination in Open Distributed Systems.COORDINATION311-3162000Conference and Workshop Papersclosedconf/coordination/MerrickW0010.1007/3-540-45263-X_21https://doi.org/10.1007/3-540-45263-X_21https://dblp.org/rec/conf/coordination/MerrickW00URL#6445298Rocco De NicolaRosario PuglieseAntony I. T. RowstronProving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.COORDINATION66-802000Conference and Workshop Papersclosedconf/coordination/NicolaPR0010.1007/3-540-45263-X_5https://doi.org/10.1007/3-540-45263-X_5https://dblp.org/rec/conf/coordination/NicolaPR00URL#6445299Marisol SánchezJosé Luis HerreroJuan Manuel MurilloJuan Hernández NúñezGuaranteeing Coherent Software Systems when Composing Coordinated Components.COORDINATION341-3462000Conference and Workshop Papersclosedconf/coordination/SanchezHMH0010.1007/3-540-45263-X_26https://doi.org/10.1007/3-540-45263-X_26https://dblp.org/rec/conf/coordination/SanchezHMH00URL#6445300Robert TolksdorfCoordination Technology for Workflows on the Web: Workspaces.COORDINATION36-502000Conference and Workshop Papersclosedconf/coordination/Tolksdorf0010.1007/3-540-45263-X_3https://doi.org/10.1007/3-540-45263-X_3https://dblp.org/rec/conf/coordination/Tolksdorf00URL#6445301António PortoGruia-Catalin RomanCoordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, ProceedingsCOORDINATIONLecture Notes in Computer Science1906Springer2000Editorshipconf/coordination/200010.1007/3-540-45263-Xhttps://doi.org/10.1007/3-540-45263-Xhttps://dblp.org/rec/conf/coordination/2000URL#6481009