Regularity of BPA-Systems is Decidable

Authors:
Sjouke Mauw;Hans Mulder
Affiliations:
-;-
Venue:
CONCUR '94 Proceedings of the Concurrency Theory
Year:
1994

Citing 0
Cited 3

Simulation and Bisimulation over One-Counter Processes

STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Analysing the BKE-security Protocol with μCRL

Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic verification of sequential infinite-state processes

Automatic verification of sequential infinite-state processes

Quantified Score

Hi-index	0.01

Visualization

Abstract