Sign in

Bisimulation Equivalence is Decidable for Basic Parallel Processes.

Søren ChristensenYoram HirshfeldFaron Moller
Published in: CONCUR (1993)
Keyphrases
  • equivalence relation
  • datalog programs
  • parallel processing
  • first order logic
  • parallel implementation
  • databases
  • special case
  • expressive power
  • computational models
  • multi core processors