A multiprocess network logic with temporal and spatial modalities
Journal of Computer and System Sciences
Journal of the ACM (JACM)
Theoretical Computer Science
Handbook of formal languages, vol. 3
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
PLC-automata: a new class of implementable real-time automata
Theoretical Computer Science - Special issue on real-time systems and concurrent and distributed software
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Formal Design and Analysis of a Gear Controller
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Duration Calculus of Weakly Monotonic Time
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Complete Proof Systems for First Order Interval Temporal Logic
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
Model checking mobile ambients
Theoretical Computer Science
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Model-checking dense-time Duration Calculus
Formal Aspects of Computing
Axiomatisation and Decidability of Multi-dimensional Duration Calculus
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
A spatio-temporal logic for the specification and refinement of mobile systems
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A calculus for shapes in time and space
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Conceptional modeling and analysis of spatio-temporal processes in biomolecular systems
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
An abstract model for proving safety of multi-lane traffic manoeuvres
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Proving safety of traffic manoeuvres on country roads
Theories of Programming and Formal Methods
Hi-index | 0.00 |
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.