The Bisimulation Problem for Equational Graphs of Finite Out-Degree

By Géraud Sénizergues

Publisher: 'Society for Industrial & Applied Mathematics (SIAM)'

Year: 2005

DOI identifier: 10.1137/s0097539700377256

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://arxiv.org/pdf/cs/000801... (external link)