Foundations of reversible computation

Tietueen suppeat tiedot
dc.contributor.authorBogdan Aman
dc.contributor.authorGabriel Ciobanu
dc.contributor.authorRobert Glück
dc.contributor.authorRobin Kaarsgaard
dc.contributor.authorJarkko Kari
dc.contributor.authorMartin Kutrib
dc.contributor.authorIvan Lanese
dc.contributor.authorClaudio Antares Mezzina
dc.contributor.authorŁukasz Mikulski
dc.contributor.authorRajagopal Nagarajan
dc.contributor.authorIain Phillips
dc.contributor.authorG. Michele Pinna
dc.contributor.authorLuca Prigioniero
dc.contributor.authorIrek Ulidowski
dc.contributor.authorGermán Vidal
dc.contributor.organizationfi=matematiikka|en=Mathematics|
dc.contributor.organization-code1.2.246.10.2458963.20.41687507875
dc.converis.publication-id48728275
dc.converis.urlhttps://research.utu.fi/converis/portal/Publication/48728275
dc.date.accessioned2022-10-27T11:53:41Z
dc.date.available2022-10-27T11:53:41Z
dc.description.abstract<p>Reversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, covering areas as different as low-power computing, simulation, robotics and debugging, such applications need to be supported by a clear understanding of the foundations of reversible computation. We report below on many threads of research in the area of foundations of reversible computing, giving particular emphasis to the results obtained in the framework of the European COST Action IC1405, entitled “Reversible Computation - Extending Horizons of Computing”, which took place in the years 2015–2019. <br /></p>
dc.format.pagerange1
dc.format.pagerange10
dc.identifier.eisbn978-3-030-47361-7
dc.identifier.isbn978-3-030-47360-0
dc.identifier.issn0302-9743
dc.identifier.jour-issn0302-9743
dc.identifier.olddbid172623
dc.identifier.oldhandle10024/155717
dc.identifier.urihttps://www.utupub.fi/handle/11111/30472
dc.identifier.urnURN:NBN:fi-fe2021042821763
dc.language.isoen
dc.okm.affiliatedauthorKari, Jarkko
dc.okm.discipline113 Computer and information sciencesen_GB
dc.okm.discipline113 Tietojenkäsittely ja informaatiotieteetfi_FI
dc.okm.internationalcopublicationinternational co-publication
dc.okm.internationalityInternational publication
dc.okm.typeA4 Conference Article
dc.publisher.countrySwitzerlanden_GB
dc.publisher.countrySveitsifi_FI
dc.publisher.country-codeCH
dc.relation.conferenceInternational Conference on Reversible Computation
dc.relation.doi10.1007/978-3-030-47361-7_1
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.volume12070
dc.source.identifierhttps://www.utupub.fi/handle/10024/155717
dc.titleFoundations of reversible computation
dc.title.bookRC 2020: Reversible Computation: Extending Horizons of Computing
dc.year.issued2020

Tiedostot

Näytetään 1 - 1 / 1
Name:
10.1007_978-3-030-47361-7.pdf
Size:
13.45 MB
Format:
Adobe Portable Document Format
Description:
Publisher´s PDF
Lataa

Kokoelmat

Rinnakkaistallenteet