Login / Signup
Finiteness up to bisimilarity is decidable for pushdown processes
Petr Jancar
Published in:
CoRR (2013)
Keyphrases
</>
function symbols
first order logic
computer vision
probability distribution
process model
model checking
stochastic processes
data model
business processes
computational models
datalog programs