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

1990Information and Computation引用 535
DOI
Formal Methods in Verificationsemigroups and automata theoryMachine Learning and Algorithms
人工智能Machine Learning and Algorithmssemigroups and automata theoryFormal Methods in Verification
相关技术:Machine Learning and AlgorithmsFormal Methods in Verification
关系图谱

CCS expressions, finite state processes, and three problems of equivalence · 作者

S

Scott A. Smolka

P

Paris C. Kanellakis