Search for persons
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:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
6
Rollback Recovery in Session-Based Programming:
, In:
?
Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ,
10
Deadlock-free asynchronous message reordering in rust with ..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
13
Zooid: a DSL for certified multiparty computation: from mec..:
, In:
?
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction ,
14
Communication-safe web programming in TypeScript with route..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
15