Decidability of bisimilarity for one-counter processes
Loading...
Downloads
Date issued
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Academic Press
Location
Není ve fondu ÚK
Signature
Abstract
Description
Subject(s)
equivalence
Citation
Information and Computation. 2000, vol. 158, issue 1, p. 1-17 .