RC 2016: Bologna, Italy

Process Calculi

Reversible Models

Programming Languages

Quantum Computing

Quantum Programming

Circuit Theory

Syntheses

maintained by Schloss Dagstuhl LZI at University of Trier