Publication | Closed Access
CCS expressions, finite state processes, and three problems of equivalence
533
Citations
15
References
1990
Year
EngineeringAutomated ReasoningFormal MethodsComputational ComplexityEquivalence CheckingComputer ScienceCcs ExpressionsDescriptional ComplexityFinite Model TheoryFinite-state SystemProcess Calculus
| Year | Citations | |
|---|---|---|
Page 1
Page 1