Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

  • Simon Devitt
  • Ivan Lanese
Conference proceedings RC 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9720)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9720)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Process Calculi

    1. Front Matter
      Pages 1-1
    2. Ioana Cristescu, Jean Krivine, Daniele Varacca
      Pages 3-19
    3. Stefan Kuhn, Irek Ulidowski
      Pages 20-35
    4. Doriana Medić, Claudio Antares Mezzina
      Pages 36-51
    5. Francesco Tiezzi, Nobuko Yoshida
      Pages 52-69
  3. Reversible Models

    1. Front Matter
      Pages 71-71
    2. Pablo Arrighi, Simon Martiel, Simon Perdrix
      Pages 73-88
    3. Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt
      Pages 89-104
    4. Kamila Barylska, Maciej Koutny, Łukasz Mikulski, Marcin Piątkowski
      Pages 105-118
  4. Programming Languages

    1. Front Matter
      Pages 119-119
    2. Nirvan Tyagi, Jayson Lynch, Erik D. Demaine
      Pages 121-136
    3. Davide Cingolani, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia
      Pages 137-152
    4. Ulrik Pagh Schultz, Holger Bock Axelsen
      Pages 153-159
    5. Robert Wille, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
      Pages 160-166
  5. Quantum Computing

    1. Front Matter
      Pages 167-167
    2. Mert Yüksel, Selçuk Oğuz Erbil, Atakan B. Arı, M. Selim Hanay
      Pages 169-174
    3. Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato
      Pages 181-196
  6. Quantum Programming

    1. Front Matter
      Pages 197-197

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. 
The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses. 

Keywords

algorithms automata theory circuit complexity formal Logic formal methods logic design model checking operational semantics process calculi programming languages quantum circuits quantum computing reversible computing reversible models software engineering software validation software verification

Editors and affiliations

  • Simon Devitt
    • 1
  • Ivan Lanese
    • 2
  1. 1.National Institute of InformaticsTokyoJapan
  2. 2.University of Bologna/InriaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-40578-0
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-40577-3
  • Online ISBN 978-3-319-40578-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book