Specification and refinement of mobile systems in MTLA and mobile UML
DOI10.1016/J.TCS.2005.09.067zbMATH Open1086.68016OpenAlexW2102932199MaRDI QIDQ820132FDOQ820132
Alexander Knapp, Martin Wirsing, Stephan Merz, Júlia Zappe
Publication date: 6 April 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00000754/file/final.pdf
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10)
Cites Work
- Title not available (Why is that?)
- Statecharts: a visual formalism for complex systems
- Refinement Calculus
- The existence of refinement mappings
- A calculus of mobile processes. II
- The B-Book
- A spatial logic for concurrency. I
- Title not available (Why is that?)
- Mobile ambients
- Anytime, anywhere
- Title not available (Why is that?)
- Towards a mobile temporal logic of actions.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extensionality and intensionality of the ambient logics
- Global Computing
Cited In (9)
- Towards a mobile temporal logic of actions.
- Title not available (Why is that?)
- Stream-based specification of mobile systems
- Ode to the PST
- Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases
- A Homage to Martin Wirsing
- On repairing and querying inconsistent probabilistic spatio-temporal databases
- Algebraic Methodology and Software Technology
- Towards an Institutional Framework for Heterogeneous Formal Development in UML
Uses Software
This page was built for publication: Specification and refinement of mobile systems in MTLA and mobile UML
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820132)
