Skip to main content
SpringerLink
Log in

Reversible Computation

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Simon Devitt

    1. National Institute of Informatics, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ivan Lanese

    1. University of Bologna/Inria, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RC 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Process Calculi

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Rigid Families for the Reversible \(\pi \)-Calculus

      • Ioana Cristescu, Jean Krivine, Daniele Varacca
      Pages 3-19

    3. A Calculus for Local Reversibility

      • Stefan Kuhn, Irek Ulidowski
      Pages 20-35

    4. Static VS Dynamic Reversibility in CCS

      • Doriana Medić, Claudio Antares Mezzina
      Pages 36-51

    5. Reversing Single Sessions

      • Francesco Tiezzi, Nobuko Yoshida
      Pages 52-69

  3. Reversible Models

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. Reversible Causal Graph Dynamics

      • Pablo Arrighi, Simon Martiel, Simon Perdrix
      Pages 73-88

    3. Boosting Reversible Pushdown Machines by Preprocessing

      • Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt
      Pages 89-104

    4. Reversible Computation vs. Reversibility in Petri Nets

      • Kamila Barylska, Maciej Koutny, Łukasz Mikulski, Marcin Piątkowski
      Pages 105-118

  4. Programming Languages

    1. Front Matter

      Pages 119-119
      Download chapter PDF

    2. Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms

      • Nirvan Tyagi, Jayson Lynch, Erik D. Demaine
      Pages 121-136

    3. Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation

      • Davide Cingolani, Mauro Ianni, Alessandro Pellegrini, Francesco Quaglia
      Pages 137-152

    4. Elements of a Reversible Object-Oriented Language

      • Ulrik Pagh Schultz, Holger Bock Axelsen
      Pages 153-159

    5. Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs

      • Robert Wille, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
      Pages 160-166

  5. Quantum Computing

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems

      • Mert Yüksel, Selçuk Oğuz Erbil, Atakan B. Arı, M. Selim Hanay
      Pages 169-174

    3. Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity

      • Claudio Moraga
      Pages 175-180

    4. Using \(\pi \)DDs for Nearest Neighbor Optimization of Quantum Circuits

      • Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato
      Pages 181-196

  6. Quantum Programming

    1. Front Matter

      Pages 197-197
      Download chapter PDF
Back to top

Other volumes

  1. Reversible Computation

Keywords

About this book

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. 

Editors and Affiliations

  • National Institute of Informatics, Tokyo, Japan

    Simon Devitt

  • University of Bologna/Inria, Bologna, Italy

    Ivan Lanese

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation