Complexity of Equivalence Problems for Concurrent Systems of Finite Agents |
| |
Authors: | Alexander Rabinovich |
| |
Affiliation: | Department of Computer Science, The Sackler School of Exact Sciences, Tel Aviv University, Tel Aviv, Israel, 69978f1 |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|