Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
17
views
19
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,821
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Event Structure Semantics of (controlled) Reversible CCS
other
Author(s):
Eva Graversen
,
Iain Phillips
,
Nobuko Yoshida
Publication date
(Online):
August 22 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Airburst and Crater Research
Most cited references
19
Record
: found
Abstract
: not found
Book Chapter
: not found
Reversible Communicating Systems
Vincent Danos
,
Jean Krivine
(2004)
0
comments
Cited
47
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Reversing algebraic process calculi
Irek Ulidowski
,
Iain Phillips
(2007)
0
comments
Cited
36
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Event structure semantics for CCS and related languages
Glynn Winskel
(1982)
0
comments
Cited
22
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
August 22 2018
Pages
: 102-122
DOI:
10.1007/978-3-319-99498-7_7
SO-VID:
5fe96eb7-dd2e-4725-b755-33d962ca1752
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Physical Foundations of Landauer’s Principle
pp. 34
From Reversible Semantics to Reversible Debugging
pp. 47
Finite-State Classical Mechanics
pp. 61
On Aperiodic Reversible Turing Machines (Invited Talk)
pp. 67
On Reversibility and Broadcast
pp. 84
Reversible Computation in Petri Nets
pp. 102
Event Structure Semantics of (controlled) Reversible CCS
pp. 123
Simulation of Base Excision Repair in the Calculus of Covalent Bonding
pp. 133
A Unified Approach to Quantum Computation and Classical Reversible Computation
pp. 144
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits
pp. 162
Quantum Circuits for Floating-Point Arithmetic
pp. 175
SAT-based {CNOT, T} Quantum Circuit Synthesis
pp. 189
Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons
pp. 205
Finding the Redundant Gates in Reversible Circuits
pp. 220
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming
pp. 228
Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures
pp. 244
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)
pp. 253
Garbage-Free Reversible Multiplication and Division
pp. 269
Data Structures and Dynamic Memory Management in Reversible Languages
pp. 286
Checkpoint/Rollback vs Causally-Consistent Reversibility
pp. 304
$$\mathsf {CoreFun}$$: A Typed Functional Reversible Core Language
pp. 322
Reversible Object-Oriented Programming with Region-Based Memory Management
pp. 331
Encryption and Reversible Computations
pp. 339
A Library of Reversible Circuit Transformations (Work in Progress)
pp. 346
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications
Similar content
3,821
Lignocellulosic ethanol production combined with CCS—A study of GHG reductions and potential environmental trade‐offs
Authors:
Jan Lask
,
Slavica Rukavina
,
Ivana Zorić
…
Kartowanie i modelowanie wgłębne do celów poszukiwań naftowych, podziemnego składowania dwutlenku węgla i geotermii w Polsce - rezultaty, narzędzia i potencjał - Subsurface mapping and modelling for petroleum prospecting, CCS and geothermics in Poland
Authors:
B Papiernik
The current status of CCS development in South Africa
Authors:
Brendan Beck
,
Tony Surridge
,
Jaco Liebenberg
…
See all similar
Cited by
1
Reversing Place Transition Nets
Authors:
Hernán Melgratti
,
Claudio Mezzina
,
Irek Ulidowski
See all cited by