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

Most cited references 25

Record: found
Abstract: not found
Article: not found

Maude: specification and programming in rewriting logic

J.F. Quesada, J. Meseguer, N. Martı́-Oliet … (2002)

0 comments Cited 51 times – based on 0 reviews      Review now

Bookmark

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

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 370-390

DOI: 10.1007/978-3-642-37036-6_21

SO-VID: e5d74c49-59ad-42ba-86b9-1bbd1b7a6956

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

Concurrent Flexible Reversibility
Authors: Ivan Lanese, Michael Lienhardt, Claudio Mezzina …
Reversible Computation in Petri Nets
Authors: Anna Philippou, Kyriaki Psara
Static VS Dynamic Reversibility in CCS
Authors: Doriana Medić, Claudio Antares Mezzina

See all cited by

Concurrent Flexible Reversibility

Read this book at

Related collections

ScienceOpen Research

Most cited references 25

Maude: specification and programming in rewriting logic

Reversible Communicating Systems

Reversing algebraic process calculi

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,236

Cited by 10