|
|||||
|
|
Modal Logic, Transition Systems and Processes |
|
| Authors: | BENTHEM, JOHAN VAN EIJCK, JAN VAN STEBLETSOVA, VERA |
| Affiliation: | ILLC, Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands CWI, Kruislaan 413 1098 SJ Amsterdam, The Netherlands Department of Philosophy, University of Utrecht Heidelberglaan 8, 3584 CS Utrecht, The Netherlands |
| Abstract: | |
| Keywords: | Modal logic transition systems bisimulation process algebra. |
| 本文献已被 Oxford 等数据库收录！ | |