Login / Signup

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.

Chaodong HeYuxi FuHongfei Fu
Published in: FSEN (2011)
Keyphrases
  • neural network
  • artificial intelligence
  • clustering algorithm
  • query processing
  • description logics