Deciding bisimulation-like equivalences with finite-state processes
Loading...
Downloads
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Location
Není ve fondu ÚK
Signature
Abstract
Description
Subject(s)
concurrency, bisimulation, characteristic formulae, infinite-state systems
Citation
Theoretical Computer Science. 2001, vol. 258, issues 1-2, p. 409-433.