Login / Signup
The Decidability of the Reachability Problem for CCS!
Chaodong He
Published in:
CONCUR (2011)
Keyphrases
</>
description logics
query answering
state space
transitive closure
type checking
decision procedures
database
data sets
case study