|
|
Showing 1 - 3 of
3 matches in All Departments
This book constitutes the thoroughly refereed proceedings of the
23rd International Conference on Concurrency Theory, CONCUR 2012,
held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35
revised full papers presented together with 4 invited talks were
carefully reviewed and selected from 97 submissions. The papers are
organized in topics such as reachability analysis; qualitative and
timed systems; behavioural equivalences; temporal logics; session
types; abstraction; mobility and space in process algebras;
stochastic systems; probabilistic systems; Petri nets and
non-sequential semantics; verification; decidability.
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.
This book constitutes the refereed proceedings of the 10th
International Conference on Reversible Computation, RC 2018, held
in Leicester, UK, in September 2018. The 13 full, 7 short, and one
tutorial papers included in this volume together with four invited
talks were carefully reviewed and selected from 28 submissions. The
papers are organized in the following topical sections: reversible
concurrent computation; quantum circuits; reversible programming
languages; and applications.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R367
R340
Discovery Miles 3 400
American Hustle
Jennifer Lawrence, Amy Adams, …
Blu-ray disc
(2)
R528
R259
Discovery Miles 2 590
|