Modular Choreographies: Bridging Alice and Bob Notation to Java

被引：0
|
作者：
Cruz-Filipe, Luís [1 ]
Madsen, Anne [1 ]
Montesi, Fabrizio [1 ]
Peressotti, Marco [1 ]
机构：
[1] University of Southern Denmark, Odense, Denmark
来源：
OpenAccess Series in Informatics | 2023年 / 111卷
关键词：
Engineering Village;
D O I：
3rd and 4th International Conference on Microservices, Microservices 2020 and 2022
中图分类号：
学科分类号：
摘要：
Alice and Bob notation - Choreographic programming - Choreography - Communication abstraction - Java library - Modular functions - Modularity - Modulars - Object oriented - Simple++
引用
收藏
相关论文
共 50 条
  • [31] Exact Solutions of an Alice-Bob KP Equation
    吴文标
    楼森岳
    Communications in Theoretical Physics, 2019, 71 (06) : 629 - 632
  • [32] Multiple Soliton Solutions of Alice–Bob Boussinesq Equations
    李辉
    楼森岳
    Chinese Physics Letters, 2019, 36 (05) : 22 - 26
  • [33] MORAL FAILURE OF BOB-AND-CAROL-AND-TED-AND-ALICE
    DETWEILER, R
    JOURNAL OF POPULAR CULTURE, 1970, 4 (01): : 292 - 298
  • [34] Exact Solutions of an Alice-Bob KP Equation
    Wu, Wen-Biao
    Lou, Sen-Yue
    COMMUNICATIONS IN THEORETICAL PHYSICS, 2019, 71 (06) : 629 - 632
  • [35] On the semantics of Alice&Bob specifications of security protocols
    Caleiro, Carlos
    Vigano, Luca
    Basin, David
    THEORETICAL COMPUTER SCIENCE, 2006, 367 (1-2) : 88 - 122
  • [36] Modular Java']Java Web Applications
    Kaegi, Simon Richard
    Deugo, Dwight
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 688 - +
  • [37] Mediated transfer: Alice 3 to Java
    Computer Science Department, Carnegie Mellon University, Pittsburgh, PA 15213, United States
    不详
    不详
    SIGCSE - Proc. ACM Tech. Symp. Comput. Sci. Educ., 1600, (141-146):
  • [38] You must be joking... Why Alice killed Bob
    Faloutsos, Michalis
    ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2007, 37 (05) : 75 - 76
  • [39] Multiple Soliton Solutions of Alice-Bob Boussinesq Equations
    Li, Hui
    Lou, S. Y.
    CHINESE PHYSICS LETTERS, 2019, 36 (05)
  • [40] Entanglement verification and steering when Alice and Bob cannot be trusted
    Cavalcanti, Eric G.
    Hall, Michael J. W.
    Wiseman, Howard M.
    PHYSICAL REVIEW A, 2013, 87 (03):
12345