| Publication | Date of Publication | Type |
|---|
A session type system for asynchronous unreliable broadcast communication
Logical Methods in Computer Science | 2024-09-04 | Paper |
| Specification structures and propositions-as-types for concurrency | 2024-06-21 | Paper |
| Resource sharing via capability-based multiparty session types | 2024-04-19 | Paper |
The different shades of infinite session types
Lecture Notes in Computer Science | 2024-01-23 | Paper |
| Session types as generic process types | 2021-06-23 | Paper |
Session types as generic process types
(available as arXiv preprint) | 2021-06-23 | Paper |
| scientific article; zbMATH DE number 7362463 (Why is no real title available?) | 2021-06-23 | Paper |
scientific article; zbMATH DE number 7362463 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-23 | Paper |
| Application of quantum process calculus to higher dimensional quantum protocols | 2021-06-23 | Paper |
Application of quantum process calculus to higher dimensional quantum protocols
(available as arXiv preprint) | 2021-06-23 | Paper |
| Analysis of a quantum error correcting code using quantum process calculus | 2021-04-27 | Paper |
Analysis of a quantum error correcting code using quantum process calculus
(available as arXiv preprint) | 2021-04-27 | Paper |
Automated equivalence checking of concurrent quantum systems
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| A new linear logic for deadlock-free session-typed processes | 2018-07-17 | Paper |
Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Equational reasoning about quantum protocols
Reversible Computation | 2016-09-30 | Paper |
Subtyping Supports Safe Session Substitution
A List of Successes That Can Change the World | 2016-08-17 | Paper |
On duality relations for session types
Trustworthy Global Computing | 2016-06-09 | Paper |
Modular session types for objects
Logical Methods in Computer Science | 2016-01-07 | Paper |
Modular session types for distributed object-oriented programming
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Quantum process calculus for linear optical quantum computing
Reversible Computation | 2013-12-17 | Paper |
Equivalence checking of quantum protocols
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Techniques for Formal Modelling and Analysis of Quantum Systems
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Type inference and strong static type checking for Promela
Science of Computer Programming | 2010-08-26 | Paper |
| Specification and verification of quantum protocols | 2010-05-14 | Paper |
Linear type theory for asynchronous session types
Journal of Functional Programming | 2010-03-17 | Paper |
| scientific article; zbMATH DE number 5605067 (Why is no real title available?) | 2009-09-19 | Paper |
Bounded polymorphism in session types
Mathematical Structures in Computer Science | 2008-11-13 | Paper |
Type checking a multithreaded functional language with session types
Theoretical Computer Science | 2007-01-22 | Paper |
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Subtyping for session types in the pi calculus
Acta Informatica | 2005-12-14 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Intensional and extensional semantics of dataflow programs
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 1863387 (Why is no real title available?) | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 910713 (Why is no real title available?) | 2000-04-26 | Paper |
A specification structure for deadlock-freedom of synchronous processes
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1088044 (Why is no real title available?) | 1997-11-17 | Paper |
| scientific article; zbMATH DE number 860038 (Why is no real title available?) | 1996-05-07 | Paper |
| scientific article; zbMATH DE number 860037 (Why is no real title available?) | 1996-03-26 | Paper |
