Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
2
System $$F^\mu _\omega $$ with Context-free Session Types:
, In:
?
Financial Cryptography and Data Security. FC 2022 International Workshops; Lecture Notes in Computer Science ,
4
Protocol-Based Smart Contract Generation:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
7
The Different Shades of Infinite Session Types:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
Deciding the Bisimilarity of Context-Free Session Types:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
12