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 等数据库收录! |
|