Towards a mobile temporal logic of actions.

zbMATH Open1111.68079MaRDI QIDQ3410189FDOQ3410189

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

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

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)

Cited In (4)

• Specification and refinement of mobile systems in MTLA and mobile UML
• Title not available (Why is that?)
• 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)