首页 | 本学科首页   官方微博 | 高级检索  
     


New and used temporal models: An issue of time
Authors:Frank D Anger  Edmund M Clarke
Affiliation:(1) Division of Computer Science, University of West Florida, 32514 Pensacola, FL;(2) Department of Computer Science, Carnegie-Mellon University, 15213 Pittsburgh, PA
Abstract:TheSpecial Issue on Applications of Temporal Models raises many issues of time: What are the important properties of time? How can time be best represented? How can one reason about time-dependent properties? What are the important directions of temporal research? This introductory piece very briefly surveys the current wide variety of temporal models, temporal reasoning methods, and applications to time-varying phenomena. Promising areas of investigation such as the verification of concurrent systems, knowledge-base representation methods, and dealing with theFrame Problem pass in fleeting review. Brief introductions to each of the works in the volume close the section.
Keywords:Concurrency  temporal models  temporal logic  verification
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号