000			03678naaaa2200781uu 4500
003			BUT
005			20230413103140.0
006			m o d
007			cr|mn|---annan
008			20210210s2020 xx |||||o ||| eng|| d
020			_a9783030473617
040			_aoapen _coapen
041	0		_aeng
080			_a004
100	1		_aUlidowski, Irek _4edt
245	1	0	_aReversible Computation: Extending Horizons of Computing _bSelected Results of the COST Action IC1405
260			_bSpringer Nature _c2020
300			_a1 electronic resource (237 p.)
490	1		_aLecture Notes in Computer Science; Theoretical Computer Science and General Issues
506	0		_aOpen Access _2star _fUnrestricted online access
520			_aThis open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
540			_aCreative Commons _fby/4.0/ _2cc
546			_aEnglish
650		0	_aСигналы и системы _2bicssc _94531
650		0	_aКомпьютерная инженерия _2bicssc _94537
650		0	_aОперационные системы _2bicssc _92232
653			_aLogic Design
653			_aComputer System Implementation
653			_aComputer Communication Networks
653			_aSpecial Purpose and Application-Based Systems
653			_aSoftware Engineering
653			_aOperating Systems
653			_aopen access
653			_areversible computation
653			_asemantics of reversible computation
653			_aformal methods
653			_amodels of computation
653			_acircuit design
653			_asimulation
653			_arobotics
653			_adebugging
653			_aquantum computing
653			_awireless communications
653			_aprogramming languages
653			_adependability
653			_amodelling of biochemical systems
653			_acomputer networks
653			_aengineering
653			_asoftware engineering
653			_aparallel processing systems
653			_atheoretical computer science
653			_aComputer architecture & logic design
653			_aSystems analysis & design
653			_aNetwork hardware
653			_aExpert systems / knowledge-based systems
653			_aOperating systems
700	1		_aLanese, Ivan _4edt
700	1		_aSchultz, Ulrik Pagh _4edt
700	1		_aFerreira, Carla _4edt
700	1		_aUlidowski, Irek _4oth
700	1		_aLanese, Ivan _4oth
700	1		_aSchultz, Ulrik Pagh _4oth
700	1		_aFerreira, Carla _4oth
830			_94517 _aLecture Notes in Computer Science; Theoretical Computer Science and General Issues
856	4	0	_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/38350 _70 _zDescription
909			_c4 _dDarya Shvetsova
942			_2udc _cEE
999			_c6439 _d6439