Title :
Reasoning about continuous change: a formal method based on process description
Author_Institution :
Sch. of Software, Tsinghua Univ., Peking, China
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;
Conference_Titel :
Active Media Technology, 2005. (AMT 2005). Proceedings of the 2005 International Conference on
Print_ISBN :
0-7803-9035-0
DOI :
10.1109/AMT.2005.1505421
