Reversible Computation: Extending Horizons of Computing : : Selected Results of the COST Action IC1405 / / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira.
This 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 f...
Saved in:
Superior document: | Theoretical Computer Science and General Issues, 12070 |
---|---|
HerausgeberIn: | |
Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2020. |
Year of Publication: | 2020 |
Edition: | 1st ed. 2020. |
Language: | English |
Series: | Theoretical Computer Science and General Issues,
12070 |
Physical Description: | 1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993548056804498 |
---|---|
ctrlnum |
(CKB)4100000011273690 (DE-He213)978-3-030-47361-7 (MiAaPQ)EBC6420148 (Au-PeEL)EBL6420148 (OCoLC)1232276862 (oapen)https://directory.doabooks.org/handle/20.500.12854/38350 (PPN)248394614 (EXLCZ)994100000011273690 |
collection |
bib_alma |
record_format |
marc |
spelling |
Ulidowski, Irek edt Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira. 1st ed. 2020. Cham : Springer International Publishing : Imprint: Springer, 2020. 1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.) text txt rdacontent computer c rdamedia online resource cr rdacarrier Theoretical Computer Science and General Issues, 2512-2029 ; 12070 English Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. This 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. Open Access Logic design. Computer systems. Computer networks. Computers, Special purpose. Software engineering. Operating systems (Computers). Logic Design. Computer System Implementation. Computer Communication Networks. Special Purpose and Application-Based Systems. Software Engineering. Operating Systems. 3-030-47360-0 Ulidowski, Irek. editor. (orcid)0000-0002-3834-2036 https://orcid.org/0000-0002-3834-2036 edt http://id.loc.gov/vocabulary/relators/edt Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 https://orcid.org/0000-0003-2527-9995 edt http://id.loc.gov/vocabulary/relators/edt Schultz, Ulrik Pagh. editor. (orcid)0000-0003-4119-2689 https://orcid.org/0000-0003-4119-2689 edt http://id.loc.gov/vocabulary/relators/edt Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 https://orcid.org/0000-0003-3680-7634 edt http://id.loc.gov/vocabulary/relators/edt |
language |
English |
format |
eBook |
author2 |
Ulidowski, Irek. Ulidowski, Irek. Lanese, Ivan. Lanese, Ivan. Schultz, Ulrik Pagh. Schultz, Ulrik Pagh. Ferreira, Carla. Ferreira, Carla. |
author_facet |
Ulidowski, Irek. Ulidowski, Irek. Lanese, Ivan. Lanese, Ivan. Schultz, Ulrik Pagh. Schultz, Ulrik Pagh. Ferreira, Carla. Ferreira, Carla. |
author2_variant |
i u iu i u iu i u iu i l il i l il u p s up ups u p s up ups c f cf c f cf |
author2_role |
HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn HerausgeberIn |
author_sort |
Ulidowski, Irek. |
title |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / |
spellingShingle |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / Theoretical Computer Science and General Issues, Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. |
title_sub |
Selected Results of the COST Action IC1405 / |
title_full |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira. |
title_fullStr |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira. |
title_full_unstemmed |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira. |
title_auth |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / |
title_new |
Reversible Computation: Extending Horizons of Computing : |
title_sort |
reversible computation: extending horizons of computing : selected results of the cost action ic1405 / |
series |
Theoretical Computer Science and General Issues, |
series2 |
Theoretical Computer Science and General Issues, |
publisher |
Springer International Publishing : Imprint: Springer, |
publishDate |
2020 |
physical |
1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.) |
edition |
1st ed. 2020. |
contents |
Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. |
isbn |
3-030-47361-9 3-030-47360-0 |
issn |
2512-2029 ; |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA76 |
callnumber-sort |
QA 276.9 L63 |
illustrated |
Not Illustrated |
dewey-hundreds |
600 - Technology 000 - Computer science, information & general works |
dewey-tens |
620 - Engineering 000 - Computer science, knowledge & systems |
dewey-ones |
621 - Applied physics 004 - Data processing & computer science |
dewey-full |
621.395 004 |
dewey-sort |
3621.395 |
dewey-raw |
621.395 004 |
dewey-search |
621.395 004 |
oclc_num |
1232276862 |
work_keys_str_mv |
AT ulidowskiirek reversiblecomputationextendinghorizonsofcomputingselectedresultsofthecostactionic1405 AT laneseivan reversiblecomputationextendinghorizonsofcomputingselectedresultsofthecostactionic1405 AT schultzulrikpagh reversiblecomputationextendinghorizonsofcomputingselectedresultsofthecostactionic1405 AT ferreiracarla reversiblecomputationextendinghorizonsofcomputingselectedresultsofthecostactionic1405 |
status_str |
n |
ids_txt_mv |
(CKB)4100000011273690 (DE-He213)978-3-030-47361-7 (MiAaPQ)EBC6420148 (Au-PeEL)EBL6420148 (OCoLC)1232276862 (oapen)https://directory.doabooks.org/handle/20.500.12854/38350 (PPN)248394614 (EXLCZ)994100000011273690 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Theoretical Computer Science and General Issues, 12070 |
hierarchy_sequence |
12070 |
is_hierarchy_title |
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / |
container_title |
Theoretical Computer Science and General Issues, 12070 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1804772114171953152 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04486nam a22006615i 4500</leader><controlfield tag="001">993548056804498</controlfield><controlfield tag="005">20230330030029.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr nn 008mamaa</controlfield><controlfield tag="008">200513s2020 sz | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-47361-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-47361-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4100000011273690</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-030-47361-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6420148</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL6420148</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1232276862</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/38350</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)248394614</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994100000011273690</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYF</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM036000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">UYF</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">621.395</subfield><subfield code="2">23</subfield></datafield><datafield tag="082" ind1=" " ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ulidowski, Irek</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reversible Computation: Extending Horizons of Computing :</subfield><subfield code="b">Selected Results of the COST Action IC1405 /</subfield><subfield code="c">edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2020.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing :</subfield><subfield code="b">Imprint: Springer,</subfield><subfield code="c">2020.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.) </subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">12070</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 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.</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic design.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer systems.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer networks.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computers, Special purpose.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Software engineering.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Operating systems (Computers).</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Logic Design.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer System Implementation.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computer Communication Networks.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Special Purpose and Application-Based Systems.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Software Engineering.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Operating Systems.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-030-47360-0</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ulidowski, Irek.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0002-3834-2036</subfield><subfield code="1">https://orcid.org/0000-0002-3834-2036</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lanese, Ivan.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0003-2527-9995</subfield><subfield code="1">https://orcid.org/0000-0003-2527-9995</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schultz, Ulrik Pagh.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0003-4119-2689</subfield><subfield code="1">https://orcid.org/0000-0003-4119-2689</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ferreira, Carla.</subfield><subfield code="e">editor.</subfield><subfield code="0">(orcid)0000-0003-3680-7634</subfield><subfield code="1">https://orcid.org/0000-0003-3680-7634</subfield><subfield code="4">edt</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Theoretical Computer Science and General Issues,</subfield><subfield code="x">2512-2029 ;</subfield><subfield code="v">12070</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-16 21:32:28 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2020-06-14 05:40:19 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5338719620004498&Force_direct=true</subfield><subfield code="Z">5338719620004498</subfield><subfield code="b">Available</subfield><subfield code="8">5338719620004498</subfield></datafield></record></collection> |