Global Protocol Implementations via Attribute-Based Communication
暂无分享,去创建一个
Rocco De Nicola | Claudio Antares Mezzina | Hugo Torres Vieira | R. Nicola | H. Vieira | C. A. Mezzina
[1] Ivan Lanese,et al. Dynamic Choreographies - Safe Runtime Updates of Distributed Applications , 2015, COORDINATION.
[2] Rob J. van Glabbeek,et al. The Linear Time-Branching Time Spectrum (Extended Abstract) , 1990, CONCUR.
[3] Vasco Thudichum Vasconcelos,et al. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 1998, SecReT@ICALP.
[4] Fabrizio Montesi,et al. Kickstarting Choreographic Programming , 2014, WS-FM.
[5] Ivan Lanese,et al. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications , 2014, SLE.
[6] Nobuko Yoshida,et al. Structured Communication-Centred Programming for Web Services , 2007, ESOP.
[7] Rocco De Nicola,et al. Extensional equivalences for transition systems , 1987, Acta Informatica.
[8] Fabrizio Montesi,et al. Deadlock-freedom-by-design: multiparty asynchronous global programming , 2013, POPL.
[9] Rocco De Nicola,et al. On Expressiveness and Behavioural Theory of Attribute-basedCommunication , 2015 .
[10] Emilio Tuosto,et al. From Communicating Machines to Graphical Choreographies , 2015, POPL.
[11] Ivan Lanese,et al. Bridging the Gap between Interaction- and Process-Oriented Choreographies , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
[12] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum I , 2001, Handbook of Process Algebra.
[13] Rocco De Nicola,et al. A calculus for attribute-based communication , 2015, SAC.
[14] Ilaria Castellani,et al. Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective , 2014, BEAT.
[15] Mariangiola Dezani-Ciancaglini,et al. Self-Adaptive Monitors for Multiparty Sessions , 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
[16] Nobuko Yoshida,et al. Structured Communication-Centered Programming for Web Services , 2007, TOPL.