| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 426941 | Information and Computation | 2007 | 40 Pages |
Abstract
The Shape Calculus is a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. After showing non-axiomatisability, we give a complete embedding in n-dimensional interval temporal logic and present two different decidable subsets, which are important for tool support and practical use.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
