Coordination-based design of distributed systems

被引：0
|
作者：
Kok, JN
Sere, K
机构：
[1] Leiden Univ, Leiden Inst Adv Comp Sci, NL-2300 RA Leiden, Netherlands
[2] Abo Akad Univ, Turku Ctr Comp Sci, FIN-20520 Turku, Finland
来源：
COORDINATION LANGUAGES AND MODELS, PROCEEDINGS | 2000年 / 1906卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a component-based formal approach to the design of distributed systems based on the coordination of the interaction and of the flow of control using graphical notation, refinement and guarded composition.
引用
收藏
页码：347 / 352
页数：6
相关论文
共 50 条
  • [21] Formal derivation of parallel triangular system solvers using a coordination-based design method
    Leiden Univ, Leiden, Netherlands
    Parallel Comput, 7 (1023-1046):
  • [22] Coordination-based molecular nanomaterials for biomedically relevant applications
    Wang, Chunfei
    Wang, Wenjing
    Tan, Jingyun
    Zhang, Xuanjun
    Yuan, Daqiang
    Zhou, Hong-Cai
    COORDINATION CHEMISTRY REVIEWS, 2021, 438
  • [23] Creating Coordination-Based Cavities in a Multiresponsive Supramolecular Gel
    Wei, Shi-Chao
    Pan, Mei
    Fan, Yuan-Zhong
    Liu, Haoliang
    Zhang, Jianyong
    Su, Cheng-Yong
    CHEMISTRY-A EUROPEAN JOURNAL, 2015, 21 (20) : 7418 - 7427
  • [24] Coordination-based dependencies for partner selection in virtual organisations
    Zarvic, Novica
    Seifert, Marcus
    PPS MANAGEMENT, 2008, 13 (04): : 18 - 20
  • [25] A Decomposition and Coordination-Based Method for Chiller Plant Optimization
    Zhang, Danxu
    Luh, Peter B.
    Fan, James
    Gupta, Shalabh
    2015 INTERNATIONAL CONFERENCE ON COMPLEX SYSTEMS ENGINEERING (ICCSE), 2015,
  • [26] A coordination-based model for transition metal alloy nanoparticles
    Roling, Luke T.
    Choksi, Tej S.
    Abild-Pedersen, Frank
    NANOSCALE, 2019, 11 (10) : 4438 - 4452
  • [27] Dynamic Coordination-Based Reinforcement Learning for Driving Policy
    Si, Huaiwei
    Tan, Guozhen
    Peng, Yanfei
    Li, Jianping
    WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 2022
  • [28] Coordination-based symmetric and asymmetric bilayers on gold surfaces
    Moav, T
    Hatzor, A
    Cohen, H
    Libman, J
    Rubinstein, I
    Shanzer, A
    CHEMISTRY-A EUROPEAN JOURNAL, 1998, 4 (03) : 502 - 507
  • [29] Integration of task and data parallelism:: A coordination-based approach
    Díaz, M
    Rubio, B
    Soler, E
    Troya, JM
    HIGH PERFORMANCE COMPUTING - HIPC 2000, PROCEEDINGS, 2001, 1970 : 173 - 182
  • [30] Recursive Reductions of Action Dependencies for Coordination-Based Multiagent Planning
    Tozicka, Jan
    Jakubuv, Jan
    Komenda, Antonin
    TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XXVIII, 2018, 10780 : 66 - 92
12345