Towards a mobile temporal logic of actions.

MaRDI QIDQ3410189zbMATH OpenFDO

Authors Júlia Zappe

Publication date 23 November 2006

Full work available at URL http://edoc.ub.uni-muenchen.de/archive/00005203/01/Zappe_Julia.pdf

zbMATH Keywords

spatio-temporal logicMTLA

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Specification and refinement of mobile systems in MTLA and mobile UML
• scientific article; zbMATH DE number 1956481
• Theoretical Aspects of Computing - ICTAC 2004
• A predicate spatial logic for mobile process
• A notation and logic for mobile computing

Cited in

(4)

• Specification and refinement of mobile systems in MTLA and mobile UML
• scientific article; zbMATH DE number 1956481 (Why is no real title available?)
• A notation and logic for mobile computing
• A temporal logic for mutual mobile membranes with objects on surface

This page was built for publication: Towards a mobile temporal logic of actions.

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