Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3
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 ,
9
The Different Shades of Infinite Session Types:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
10
Deciding the Bisimilarity of Context-Free Session Types:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
11
Statically Checking REST API Consumers:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
14