|
|||||
|
|
The Expressive Power of Temporal Logic of Actions |
|
| Authors: | Estrin, Arkady Kaminski, Michael |
| Affiliation: | 1 diCarta Inc., 600 Allerton Street, Redwood City, CA 94063, USA. E-mail: aestrin{at}dicarta.com, 2 Department of Computer Science, Technion – Israel Institute of Technology, Haifa 32000, Israel. E-mail: kaminski{at}cs.technion.ac.il |
| Abstract: | |
| Keywords: | Temporal interpretations invariance under stuttering |
| 本文献已被 Oxford 等数据库收录！ | |