Login / Signup
Relating maximality-based semantics to action refinement in process algebras.
Jean-Pierre Courtiat
Djamel-Eddine Saïdouni
Published in:
FORTE (1994)
Keyphrases
</>
database
refinement process
data mining
high level
domain knowledge