Choreography Automata

被引：15
|
作者：
Barbanera, Franco [1 ]
Lanese, Ivan [2 ]
Tuosto, Emilio [3 ,4 ]
机构：
[1] Univ Catania, Dept Math & Comp Sci, Catania, Italy
[2] Univ Bologna, Focus Team, INRIA, Bologna, Italy
[3] Gran Sasso Sci Inst, Laquila, Italy
[4] Univ Leicester, Leicester, Leics, England
来源：
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020 | 2020年 / 12134卷
基金：
欧盟地平线“2020”;
关键词：
CONVERSATION PROTOCOLS; SPECIFICATION; VERIFICATION; FORMALISM;
D O I：
10.1007/978-3-030-50029-0_6
中图分类号：
学科分类号：
摘要：
Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of communicating finite-state machines. We consider both the standard asynchronous semantics of communicating systems and a synchronous variant of it. For both, the projections of well-formed automata are proved to be live as well as lock- and deadlock-free.
引用
收藏
页码：86 / 106
页数：21
相关论文
共 50 条
  • [41] MAROON CHOREOGRAPHY
    Burt, Stephanie
    NEW YORK TIMES BOOK REVIEW, 2021, 126 : 26 - 26
  • [42] DNA CHOREOGRAPHY
    CANTOR, CR
    CELL, 1981, 25 (02) : 293 - 295
  • [43] 'EVENING OF CHOREOGRAPHY'
    HERING, D
    DANCE MAGAZINE, 1979, 53 (07): : 108 - 108
  • [44] 'Choreography by Balanchine'
    不详
    DANCE MAGAZINE, 2004, 78 (12): : 69 - 69
  • [45] The Immunometabolism Choreography
    Emambokus, Nikla
    Granger, Anne
    Mott, Rosalind
    Helenius, Taneli
    CELL METABOLISM, 2017, 26 (01) : 1 - 1
  • [46] Chemical choreography
    Deeth, R
    NEW SCIENTIST, 1997, 155 (2089) : 24 - 27
  • [47] CURATION AS CHOREOGRAPHY
    Hussie-Taylor, Judy
    Lemon, Ralph
    THEATER, 2014, 44 (02) : 99 - 113
  • [48] Choreography and Coding
    Skybetter, Sydney
    DANCE MAGAZINE, 2021, 95 (11): : 20 - 20
  • [49] Choreography of the centrosome
    Alvarado-Kristensson, Maria
    HELIYON, 2020, 6 (01)
  • [50] CHOREOGRAPHY SLEEPWALKING
    Flournoy, M. Th.
    ARCHIVES DE PSYCHOLOGIE, 1904, 3 (12) : 357 - 374
12345