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 条
  • [31] Listening to choreography
    Grover-Friedlander, Michal
    CHOREOGRAPHIC PRACTICES, 2023, 14 (01) : 9 - 25
  • [32] Choreography and institution
    Wesemann, Arnd
    TANZ, 2012, (02): : 59 - 59
  • [33] Centrosome choreography
    不详
    JOURNAL OF CELL BIOLOGY, 2006, 172 (03): : 328 - 328
  • [34] EL CHOREOGRAPHY
    Smith, Nyamekye
    DANCE MAGAZINE, 2022, 96 (04): : 40 - 42
  • [35] The choreography of repression
    G. Heath King
    Sexuality and Culture, 2001, 5 (1): : 19 - 26
  • [36] The Choreography of the Pedestrian
    Dempster, Elizabeth
    PERFORMANCE RESEARCH, 2008, 13 (01) : 23 - 28
  • [37] Collaborative choreography
    Jaroslow, Risa
    DANCE MAGAZINE, 2007, 81 (08): : 12 - 12
  • [38] Guidebook to choreography
    Burrows, Jonathan
    TANZ, 2011, (04): : 72 - 73
  • [39] Maroon Choreography
    Carter, Cee
    COMPARATIVE EDUCATION REVIEW, 2022, 66 (02) : 372 - 374
  • [40] Rhythm and choreography
    Hanna, JL
    DEGRES-REVUE DE SYNTHESE A ORIENTATION SEMIOLOGIQUE, 1996, (87): : D1 - D16
12345