Personensuche
X
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
1
The Concurrent Calculi Formalisation Benchmark:
, In:
?
2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor) ,
2
Development of an Autonomous Fish-Inspired Robotic Platform..:
, In:
?
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming ,
5
A Dependently Typed Linear π-Calculus in Agda:
, In:
?
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming ,
6
Foundations of Session Types : 10 Years Later:
, In:
?
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications ,
7
The chemical approach to typestate-oriented programming:
, In:
?
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ,
8
Polymorphic functions with set-theoretic types : part 1:..:
, In:
?
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
9
Deadlock and lock freedom in the linear π-calculus:
, In:
?
Proceedings of the 14th symposium on Principles and practice of declarative programming ,
10
Exception handling for copyless messaging:
, In:
?
Proceedings of the 11th International Conference on Generative Programming and Component Engineering ,
11
A formal foundation for dynamic delta-oriented software pro..:
, In:
?
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming ,
12
Foundations of session types:
, In:
?
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
13
A theory of contracts for web services:
, In:
?
2023 IEEE International Integrated Reliability Workshop (IIRW) ,
14
Electrically active defects in Al2O3-InGaAs MOS stacks at c..:
, In:
?
2023 IEEE International Reliability Physics Symposium (IRPS) ,
15