Publication | Closed Access

CCS expressions, finite state processes, and three problems of equivalence

EngineeringAutomated ReasoningFormal MethodsComputational ComplexityEquivalence CheckingComputer ScienceCcs ExpressionsDescriptional ComplexityFinite Model TheoryFinite-state SystemProcess Calculus