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 条
  • [1] Alice or Bob?: Process polymorphism in choreographies
    Graversen, Eva
    Hirsch, Andrew k.
    Montesi, Fabrizio
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2024, 34 (05)
  • [2] Algebraic Properties in Alice and Bob Notation
    Moedersheim, Sebastian
    2009 INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY (ARES), VOLS 1 AND 2, 2009, : 433 - 440
  • [3] Alice and Bob
    Gordon, John
    SECURITY PROTOCOLS, 2007, 4631 : 344 - 345
  • [4] Alice (and Bob) in Flatland
    Blundo, Elena
    Polimeni, Antonio
    NANO LETTERS, 2024, 24 (32) : 9777 - 9783
  • [5] Alice and Bob in Cipherspace
    Hayes, Brian
    AMERICAN SCIENTIST, 2012, 100 (05) : 362 - 367
  • [6] Disillusioning Alice and Bob
    Oppliger, Rolf
    IEEE SECURITY & PRIVACY, 2017, 15 (05) : 82 - 84
  • [7] Deconstructing Alice and Bob
    Caleiro, Carlos
    Vigano, Luca
    Basin, David
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 135 (01) : 3 - 22
  • [8] Bob & Carol & Ted & Alice
    Lucia, Cynthia
    CINEASTE, 2018, 43 (03): : 68 - 68
  • [9] Alice and Bob grow apart
    Bains, S
    LASER FOCUS WORLD, 2002, 38 (05): : 32 - 34
  • [10] In Alice and Bob, I trust?
    Wylde, Allison
    PROCEEDINGS OF THE 2023 EUROPEAN INTERDISCIPLINARY CYBERSECURITY CONFERENCE, EICC 2023, 2023, : 195 - 196
12345