Sign in

Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes

Søren ChristensenYoram HirshfeldFaron Moller
Published in: LICS (1993)
Keyphrases
  • description logics
  • equivalence relation
  • parallel implementation
  • neural network
  • special case
  • parallel processing
  • massively parallel
  • data mining
  • evolutionary algorithm
  • parallel computing
  • stochastic processes