Login / Signup

Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.

Luca AcetoWan J. FokkinkAnna IngólfsdóttirBas Luttik
Published in: Log. Methods Comput. Sci. (2005)
Keyphrases
  • complete axiomatization
  • situation calculus
  • preprocessing
  • finite number
  • information systems
  • metadata
  • database systems
  • bayesian networks