000			03893naaaa2200817uu 4500
001			https://directory.doabooks.org/handle/20.500.12854/38350
005			20220220000416.0
020			_a978-3-030-47361-7
024	7		_a10.1007/978-3-030-47361-7 _cdoi
041	0		_aEnglish
042			_adc
072		7	_aUYF _2bicssc
072		7	_aUYD _2bicssc
072		7	_aUKN _2bicssc
072		7	_aUYQE _2bicssc
072		7	_aUMZ _2bicssc
072		7	_aUL _2bicssc
100	1		_aUlidowski, Irek _4edt
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
245	1	0	_aReversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
260			_bSpringer Nature _c2020
300			_a1 electronic resource (237 p.)
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 _4http://creativecommons.org/licenses/by/4.0/
546			_aEnglish
650		7	_aComputer architecture & logic design _2bicssc
650		7	_aSystems analysis & design _2bicssc
650		7	_aNetwork hardware _2bicssc
650		7	_aExpert systems / knowledge-based systems _2bicssc
650		7	_aSoftware Engineering _2bicssc
650		7	_aOperating systems _2bicssc
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
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/39589/1/2020_Book_ReversibleComputationExtending.pdf _70 _zDOAB: download the publication
856	4	0	_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/38350 _70 _zDOAB: description of the publication
999			_c52664 _d52664