Login / Signup
On the Decidability of Process Equivalences for the pi-calculus.
Mads Dam
Published in:
AMAST (1995)
Keyphrases
</>
data mining
data sets
e learning
search algorithm
software engineering
input image
description logics
query answering