Login / Signup

The equational theory of prebisimilarity over basic CCS with divergence.

Luca AcetoSilvio CapobiancoAnna IngólfsdóttirBas Luttik
Published in: Inf. Process. Lett. (2008)
Keyphrases
  • theorem proving
  • special case
  • formal theory
  • equational theories
  • information retrieval
  • data structure
  • website
  • distance measure
  • computational model
  • belief functions
  • general theory