?
Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice ,
1
YACC: Yet Another Church Calculus: A Birthday Present for H..:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
2
Multicompatibility for Multiparty-Session Composition:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
3
On Formal Choreographic Modelling: A Case Study in EU Busin..:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
4
Open Compliance in Multiparty Sessions:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
5
Formal Choreographic Languages:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
6
Corinne, a Tool for Choreography Automata:
, In:
?
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming ,
7
Two notions of sub-behaviour for session-based client/serve..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science ,
8
Composing Communicating Systems, Synchronously:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
9
Choreography Automata:
, In:
?
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming ,
10