Equivalence-checking on infinite-state systems: Techniques and results
Loading...
Downloads
0
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Cambridge University Press
Location
Není ve fondu ÚK
Signature
Abstract
The paper presents a selection of recently developed and/or used techniques for equivalence-checking on infinite-state systems, and an up-to-date overview of existing results (as of September 2004).
Description
Subject(s)
behavioral equivalences, infinite-state systems
Citation
Theory and Practice of Logic Programming. 2006, vol. 6, issue 3.