, Sections, Proceedings of the IRE, vol.37, issue.1, pp.67-68, 1949.

E. Väljaots and R. Sell, Energy efficiency profiles for unmanned ground vehicles, Proceedings of the Estonian Academy of Sciences, vol.68, issue.1, p.55, 2019.

, booked call, Proc. 63 sends {'booked',0} to Proc. 68 (16) Proc. 67 receives {'booked, p.1

, Institute activities, Proceedings of the Institute of Radio Engineers, vol.15, issue.2, pp.67-69, 1927.

, Indian Chairman of IERE receives the F.I.E. Foundation Award, IEE-IERE Proceedings - India, vol.15, issue.3, p.102, 1977.

, Sections, Proceedings of the IRE, vol.37, issue.1, pp.67-68, 1949.

, Topics of the information community, Journal of Information Processing and Management, vol.56, issue.1, pp.63-68, 2013.

, Stepanishen receives British acoustics prize, Physics Today, vol.31, issue.12, pp.68-68, 1978.

P. Menal, Addendum to: ??Residual linearity for certain nilpotent groups?\ (Proc. Amer. Math. Soc. {\bf 68} (1978), no. 1, 27?31), Proceedings of the American Mathematical Society, vol.77, issue.1, pp.19-19, 1979.

S. Abramov and R. Glück, Principles of Inverse Computation and the Universal Resolving Algorithm, Lecture Notes in Computer Science, vol.2566, pp.269-295, 2002.

T. Altenkirch and J. Grattage, A Functional Quantum Programming Language, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.249-258

T. Britton, L. Jeng, G. Carver, P. Cheak, and T. Katzenellenbogen, Reversible debugging software -quantify the time and cost saved using reversible debuggers, 2012.

L. Cardelli and C. Laneve, Reversible structures, Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11, pp.131-140, 2011.

R. Carlsson, , 2004.

C. D. Carothers, K. S. Perumalla, and R. M. Fujimoto, Efficient optimistic parallel simulations using reverse computation, ACM Transactions on Modeling and Computer Simulation, vol.9, issue.3, pp.224-253, 1999.

S. Chen, W. K. Fuchs, and J. Chung, Reversible debugging using program instrumentation, IEEE Trans. Softw. Eng, vol.27, issue.8, pp.715-727, 2001.

J. Conrod, Debugging with gdb, Introduction to Scientific and Technical Computing, vol.7, pp.71-82, 2016.

I. Cristescu, J. Krivine, and D. Varacca, A Compositional Semantics for the Reversible p-Calculus, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.388-397, 2013.

V. Danos and J. Krivine, Reversible Communicating Systems, CONCUR 2004 - Concurrency Theory, vol.3170, pp.292-307, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00784051

J. Engblom, A review of reverse debugging, Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference (S4D), pp.28-33, 2012.

M. P. Frank, Introduction to reversible computing, Proceedings of the 2nd conference on Computing frontiers - CF '05, pp.385-390, 2005.

R. Fujimoto, Parallel discrete event simulation, Communications of the ACM, vol.33, issue.10, pp.30-53, 1990.

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-Consistent Reversible Debugging, Fundamental Approaches to Software Engineering, vol.8411, pp.370-384, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089270

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent rollback in a tuple-based language, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.99-120, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01633260

R. Glück and T. Yokoyama, A linear-time self-interpreter of a reversible imperative language, Comput. Softw, vol.33, issue.3, pp.108-128, 2016.

R. Glück and T. Yokoyama, A Minimalist's Reversible While Language, IEICE Transactions on Information and Systems, vol.E100.D, issue.5, pp.1026-1034, 2017.

T. Haulund, T. Æ. Mogensen, and R. Glück, Implementing Reversible Object-Oriented Language Features on Reversible Machines, Reversible Computation, pp.66-73, 2017.

J. Hoey, I. Ulidowski, and S. Yuen, Reversing Imperative Parallel Programs, Electronic Proceedings in Theoretical Computer Science, vol.255, pp.51-66, 2017.

J. Hoey, I. Ulidowski, and S. Yuen, Reversing Parallel Programs with Blocks and Procedures, Electronic Proceedings in Theoretical Computer Science, vol.276, pp.69-86, 2018.

J. Hoey and I. Ulidowski, Reversible Imperative Parallel Programs and Debugging, Reversible Computation, vol.11497, pp.108-127, 2019.

J. Hoey and I. Ulidowski, Reversible Imperative Parallel Programs and Debugging, Reversible Computation, pp.108-127, 2019.

J. Hoey, I. Ulidowski, and S. Yuen, Reversing Parallel Programs with Blocks and Procedures, Electronic Proceedings in Theoretical Computer Science, vol.276, pp.69-86, 2018.

R. Landauer, Irreversibility and Heat Generation in the Computing Process, IBM Journal of Research and Development, vol.5, issue.3, pp.183-191, 1961.

I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent reversibility, Bull. EATCS, vol.114, pp.121-139, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089350

I. Lanese, C. A. Mezzina, and J. B. Stefani, Reversibility in the higher-order ?-calculus, Theoretical Computer Science, vol.625, pp.25-84, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01081714

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, CauDEr: A Causal-Consistent Reversible Debugger for Erlang, Functional and Logic Programming, pp.247-263, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912894

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, CauDEr: A Causal-Consistent Reversible Debugger for Erlang, Functional and Logic Programming, vol.10818, pp.247-263, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912894

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, A theory of reversibility for Erlang, Journal of Logical and Algebraic Methods in Programming, vol.100, pp.71-97, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01912856

I. Lanese, A. Palacios, and G. Vidal, Causal-Consistent Replay Debugging for Message Passing Programs, Formal Techniques for Distributed Objects, Components, and Systems, vol.11535, pp.167-184, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02313745

J. S. Laursen, U. P. Schultz, and L. Ellekilde, Automatic error recovery in robot assembly operations using reverse execution, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp.1785-1792, 2015.

B. Lewis, Debugging backwards in time, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), pp.225-235, 2003.

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes, Proceedings of the 13th international conference on Architectural support for programming languages and operating systems - ASPLOS XIII, pp.329-339, 2008.

. Acm, , 2008.

J. Mcnellis, J. Mola, and K. Sykes, Time travel debugging: root causing bugs in commercial scale software, 2017.

C. A. Mezzina, On Reversibility and Broadcast, Reversible Computation, vol.11106, pp.67-83, 2018.

N. Nishida, A. Palacios, and G. Vidal, A Reversible Semantics for Erlang, Logic-Based Program Synthesis and Transformation, vol.10184, pp.259-274, 2017.

K. Perumalla, Introduction to Reversible Computing, 2014.

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, The Journal of Logic and Algebraic Programming, vol.73, issue.1-2, pp.70-96, 2007.

I. Phillips, I. Ulidowski, and S. Yuen, A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, vol.7581, pp.218-232, 2013.

M. Schordan, D. Jefferson, P. Barnes, T. Oppelstrup, and D. Quinlan, Reverse Code Generation for Parallel Discrete Event Simulation, Reversible Computation, vol.9138, pp.95-110, 2015.

M. Schordan, T. Oppelstrup, D. R. Jefferson, and P. D. Barnes, Generation of reversible C++ code for optimistic parallel discrete event simulation, New Gener. Comput, vol.36, issue.3, pp.257-280, 2018.

M. Schordan, T. Oppelstrup, D. R. Jefferson, P. D. Barnes, and D. J. Quinlan, Automatic generation of reversible C++ code and its performance in a scalable kinetic Monte-Carlo application, Proceedings of the 2016 Annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation (SIGSIM-PADS 2016), pp.111-122, 2016.

U. P. Schultz and H. B. Axelsen, Elements of a Reversible Object-Oriented Language, Reversible Computation, vol.9720, pp.153-159, 2016.

K. Shibanai and T. Watanabe, Actoverse: a reversible debugger for actors, Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp.50-57, 2017.

T. Stanley, T. Close, and M. S. Miller, High-pressure decorative laminates (HPL). Sheets based on thermosetting resins (usually called laminates), HP Labs tech report

H. Sutter, The free lunch is over: a fundamental turn toward concurrency in software, Dr. Dobb's J, vol.30, issue.3, pp.202-210, 2005.

E. Crookshanks, Debugging, Practical Software Development Techniques, pp.79-90, 2014.

G. Vulov, C. Hou, R. W. Vuduc, R. Fujimoto, D. J. Quinlan et al., The Backstroke framework for source level reverse computation applied to parallel discrete event simulation, Proceedings of the 2011 Winter Simulation Conference (WSC), pp.2965-2979, 2011.

T. Yokoyama and R. Glück, A reversible programming language and its invertible self-interpreter, Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07, pp.144-153, 2007.

T. Yokoyama, H. B. Axelsen, and R. Glück, Principles of a reversible programming language, Proceedings of the 5th Conference on Computing Frontiers, pp.43-54, 2008.

T. Yokoyama, H. B. Axelsen, and R. Glück, Fundamentals of reversible flowchart languages, Theoretical Computer Science, vol.611, pp.87-115, 2016.

, Open Access This chapter is licensed under the terms of the Creative Commons