Paris C. Kanellakis 人物
Paris C. Kanellakis · 相关论文
Constraint Query Languages
1995Journal of Computer and System Sciences引用 678
CCS expressions, finite state processes, and three problems of equivalence
1990Information and Computation引用 535
On the representation and querying of sets of possible worlds
1991Theoretical Computer Science引用 251