Communicating quantum processes
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGACT News
Types and typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Geometry of synthesis: a structured approach to VLSI design
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Measurement-based Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Dagger Compact Closed Categories and Completely Positive Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformal Field Theory as a Nuclear Functor
Electronic Notes in Theoretical Computer Science (ENTCS)
Topological-Like Features in Diagrammatical Quantum Circuits
Quantum Information Processing
Axiomatic Description of Mixed States From Selinger's CPM-construction
Electronic Notes in Theoretical Computer Science (ENTCS)
POVMs and Naimark's Theorem Without Sums
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantum Game Semantics for the Measurement Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Idempotents in Dagger Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models
Calculating Colimits Compositionally
Concurrency, Graphs and Models
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Interacting Quantum Observables
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Bases in Diagrammatic Quantum Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum and Classical Structures in Nondeterminstic Computation
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Graph States and the Necessity of Euler Decomposition
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence
Strongly Compact Closed Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
Petri nets, discrete physics, and distributed quantum computation
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A linear-non-linear model for a computational call-by-value lambda calculus
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
From Coalgebraic to Monoidal Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Categories of direlations and rough set approximation operators
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Rewriting measurement-based quantum computations with generalised flow
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
The compositional structure of multipartite quantum entanglement
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Environment and classical channels in categorical quantum mechanics
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Information Processing in Convex Operational Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Toy Quantum Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical Formulation of Finite-dimensional C*-algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Game Semantics for Quantum Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Bell States and Negative Sentences in the Distributed Model of Meaning
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Graphical Calculus for Quantum Key Distribution (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Phase Groups and the Origin of Non-locality for Qubits
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra of Automata That Includes Both Classical and Quantum Entities
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical Properties of The Complex Numbers
Electronic Notes in Theoretical Computer Science (ENTCS)
Correlated Information: A Logic for Multi-Partite Quantum Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Symmetry and Composition in Probabilistic Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantum Logic in Dagger Kernel Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
The search for structure in quantum computation
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
UC'11 Proceedings of the 10th international conference on Unconventional computation
Semantic Vector Models and Functional Models for Pregroup Grammars
Journal of Logic, Language and Information
QI'11 Proceedings of the 5th international conference on Quantum interaction
From quantum physics to programming languages: a process algebraic approach
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Abstract scalars, loops, and free traced and strongly compact closed categories
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Monads need not be endofunctors
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Higher Semantics of Quantum Protocols
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Equivalence checking of quantum protocols
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Bicategorical Semantics for Nondeterministic Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Topological Structure of Quantum Algorithms
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |
We present a concise and natural encoding of the spi-calculus into the more basic 驴-calculus and establish its correctness with respect to a formal notion of testing.This is particularly relevant for security protocols modelled in spi since the tests ...