Personensuche
X
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Separation and Encodability in Mixed Choice Multiparty Sess..:
, In:
?
Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science ,
2
Protocol Conformance of Collaborative SPARQL Using Multipar..:
, In:
?
Lecture Notes in Computer Science; Active Object Languages: Current Research Trends ,
3
Programming Language Implementations with Multiparty Sessio..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
4
The Concurrent Calculi Formalisation Benchmark:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
5
Multicompatibility for Multiparty-Session Composition:
, In:
?
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ,
9
Deadlock-free asynchronous message reordering in rust with ..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
12
Zooid: a DSL for certified multiparty computation: from mec..:
, In:
?
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction ,
13
Communication-safe web programming in TypeScript with route..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
14
Implementing Multiparty Session Types in Rust:
, In:
?
Proceedings of the 29th International Conference on Compiler Construction ,
15