Personensuche
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
7
Manifestly Phased Communication via Shared Session Types:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
8
Resource-Aware Session Types for Digital Contracts:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Session logical relations for noninterference:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
10
Manifest Deadlock-Freedom for Shared Session Types:
, In:
?
Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control ,
13
Objects as session-typed processes:
, In:
?
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity ,
14
Session details: Post Conference Workshop Summaries:
, In:
?
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity ,
15