UB Paderborn / Katalog / Suche / in CDI

Linear type theory for asynchronous session types

Journal of functional programming, 2010-01, Vol.20 (1), p.19-50

2010

Volltextzugriff (PDF)

Quantum programming languages: survey and bibliography

Mathematical structures in computer science, 2006-08, Vol.16 (4), p.581-600

GAY, SIMON J.

2006

Volltextzugriff (PDF)

Verification of Linear Optical Quantum Computing using Quantum Process Calculus

Electronic proceedings in theoretical computer science, 2014-08, Vol.160 (Proc. EXPRESS/SOS 2014), p.111-129

2014

Volltextzugriff (PDF)

Type checking a multithreaded functional language with session types

Theoretical computer science, 2006-12, Vol.368 (1), p.64-87

2006

Volltextzugriff (PDF)

Preface to special issue: behavioural types

Mathematical structures in computer science, 2016-03, Vol.26 (3), p.365-366

2016

Volltextzugriff (PDF)

Preface to special issue: behavioural types

Mathematical structures in computer science, 2016-02, Vol.26 (2), p.154-155

2016

Volltextzugriff (PDF)

Multiparty Compatibility for Concurrent Objects

Electronic proceedings in theoretical computer science, 2016-06, Vol.211 (Proc. PLACES 2016), p.73-82

2016

Volltextzugriff (PDF)

Formal Analysis of Quantum Systems using Process Calculus

Electronic proceedings in theoretical computer science, 2011-07, Vol.59 (Proc. ICE 2011), p.104-110

2011

Volltextzugriff (PDF)

Modular session types for objects

Logical methods in computer science, 2015-12, Vol.11, Issue 4 (12)

2015

Volltextzugriff (PDF)

Session Types as Generic Process Types

Electronic proceedings in theoretical computer science, 2014-08, Vol.160 (Proc. EXPRESS/SOS 2014), p.94-110

2014

Volltextzugriff (PDF)

Session Types for Broadcasting

Electronic proceedings in theoretical computer science, 2014-06, Vol.155 (Proc. PLACES 2014), p.25-31

2014

Volltextzugriff (PDF)

Cables, Trains and Types

From Lambda Calculus to Cybersecurity Through Program Analysis, p.3-16

Volltextzugriff (PDF)

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

Electronic proceedings in theoretical computer science, 2014-07, Vol.158 (Proc. QPL 2012), p.15-28

2014

Volltextzugriff (PDF)

Types and typechecking for Communicating Quantum Processes

Mathematical structures in computer science, 2006-06, Vol.16 (3), p.375-406

2006

Volltextzugriff (PDF)

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Science of computer programming, 2018-04, Vol.155, p.52-75

2018

Volltextzugriff (PDF)

Duality of Session Types: The Final Cut

Electronic proceedings in theoretical computer science, 2020, Vol.314, p.23-33

2020

Volltextzugriff (PDF)

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Electronic proceedings in theoretical computer science, 2012-10, Vol.95 (Proc. QPL 2011), p.67-80

2012

Volltextzugriff (PDF)

A Session Type System for Asynchronous Unreliable Broadcast Communication

Logical methods in computer science, 2024-08, Vol.20, Issue 3

2024

Volltextzugriff (PDF)

Subtyping Supports Safe Session Substitution

A List of Successes That Can Change the World, 2016, Vol.9600, p.95-108

2016

Volltextzugriff (PDF)

Etch: An Enhanced Type Checking Tool for Promela

Lecture notes in computer science, 2005, p.266-271

2005

Volltextzugriff (PDF)

Special Delivery: Programming with Mailbox Types

Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.78-107, Article 191

2023

Volltextzugriff (PDF)

Automated Equivalence Checking of Concurrent Quantum Systems

ACM transactions on computational logic, 2018-12, Vol.19 (4), p.1-32

2018

Volltextzugriff (PDF)

On Duality Relations for Session Types

Trustworthy Global Computing, 2015, Vol.8902, p.51-66

2015

Volltextzugriff (PDF)

Typechecking Java Protocols with [St]Mungo

Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.208-224

2020

Volltextzugriff (PDF)

QMC: A Model Checker for Quantum Systems: Tool Paper

Computer Aided Verification, p.543-547

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Linear type theory for asynchronous session types

Quantum programming languages: survey and bibliography

Verification of Linear Optical Quantum Computing using Quantum Process Calculus

Type checking a multithreaded functional language with session types

Preface to special issue: behavioural types

Preface to special issue: behavioural types

Multiparty Compatibility for Concurrent Objects

Formal Analysis of Quantum Systems using Process Calculus

Modular session types for objects

Session Types as Generic Process Types

Session Types for Broadcasting

Cables, Trains and Types

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

Types and typechecking for Communicating Quantum Processes

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java

Duality of Session Types: The Final Cut

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

A Session Type System for Asynchronous Unreliable Broadcast Communication

Subtyping Supports Safe Session Substitution

Etch: An Enhanced Type Checking Tool for Promela

Special Delivery: Programming with Mailbox Types

Automated Equivalence Checking of Concurrent Quantum Systems

On Duality Relations for Session Types

Typechecking Java Protocols with [St]Mungo

QMC: A Model Checker for Quantum Systems: Tool Paper

Suchergebnisse filtern