Personensuche
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
4
A Model of Actors and Grey Failures:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
Kmclib: Automated Inference and Verification of Session Typ..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
6
A Session Subtyping Tool:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
7
Fair Refinement for Asynchronous Session Types:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
8
Checking Data-Race Freedom of GPU Kernels, Compositionally:
, In:
?
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering ,
9
Automated verification of go programs via bounded model che..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
Verifying Asynchronous Interactions via Communicating Sessi..:
, In:
?
Proceedings of the 40th International Conference on Software Engineering ,
13
A static verification framework for message passing in Go u..:
, In:
?
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages ,
15