|
|||||
|
|
A Logical Viewpoint on Process-algebraic Quotients |
|
| Authors: | Kucera, Antonin Esparza, Javier |
| Affiliation: | 1 Faculty of Informatics, Masaryk University, Botanická 68a, 60200 Brno, Czech Republic. E-mail: tony{at}fi.muni.cz 2 Institute for Informatics, Technical University Munich, Arcisstr. 21, D-80290 Munich, Germany. E-mail: esparza{at}in.tum.de |
| Abstract: | |
| Keywords: | Concurrency temporal logic transition systems |
| 本文献已被 Oxford 等数据库收录！ | |