A hierarchy of reverse bisimulations on stable configuration structures (2012)

First Author: PHILLIPS I

Attributed to: Reversible Computation 2009 funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1017/s0960129511000429

Publication URI: http://dx.doi.org/10.1017/s0960129511000429

Type: Journal Article/Review

Parent Publication: Mathematical Structures in Computer Science

Issue: 2

ISSN: 09601295