Login / Signup
The equational theory of prebisimilarity over basic CCS with divergence.
Luca Aceto
Silvio Capobianco
Anna Ingólfsdóttir
Bas 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