Login / Signup

Bisimilarity is decidable in the union of normed BPA and normed BPP processes.

Ivana CernáMojmír KretínskýAntonín Kucera
Published in: INFINITY (1996)
Keyphrases
  • vector space
  • graph matching
  • bit rate
  • process model
  • first order logic
  • exact solution