DocumentCode
1947596
Title
Reasoning about continuous change: a formal method based on process description
Author
Li, Chunping
Author_Institution
Sch. of Software, Tsinghua Univ., Peking, China
fYear
2005
fDate
19-21 May 2005
Firstpage
551
Lastpage
555
Abstract
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can be integrated with the situation calculus. Our aim is to overcome some limitations of the earlier works and to realize the automated reasoning about continuous change.
Keywords
process algebra; programming language semantics; temporal reasoning; automated reasoning; continuous change reasoning; formal method; high-level semantics; situation calculus; Calculus; Concrete;
fLanguage
English
Publisher
ieee
Conference_Titel
Active Media Technology, 2005. (AMT 2005). Proceedings of the 2005 International Conference on
Print_ISBN
0-7803-9035-0
Type
conf
DOI
10.1109/AMT.2005.1505421
Filename
1505421
Link To Document