scientific article; zbMATH DE number 1956481

MaRDI QIDQ4417820zbMATH OpenFDO

Authors Stephan Merz, Júlia Zappe, Martin Wirsing

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2621/26210087.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification and refinement of mobile systems in MTLA and mobile UML
• Towards a mobile temporal logic of actions.
• A predicate spatial logic for mobile process
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 1318522

Cited in

(16)

• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• Linear and affine logics with temporal, spatial and epistemic operators
• On repairing and querying inconsistent probabilistic spatio-temporal databases
• Towards a mobile temporal logic of actions.
• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Specification and verification of mobile real-time systems.
• A homage to Martin Wirsing
• Ode to the PST
• On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic
• Minimal refinements of specifications in modal and temporal logics
• Stream-based specification of mobile systems
• Towards a logic for performance and mobility
• Specification and refinement of mobile systems in MTLA and mobile UML
• A predicate spatial logic for mobile process
• Axiomatisation and decidability of multi-dimensional Duration Calculus
• Model checking mobile stochastic logic

Describes a project that uses

Uses Software

• TLA

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417820)