Specification and refinement of mobile systems in MTLA and mobile UML
type: Item
instance of: scholarly article
title: Specification and refinement of mobile systems in MTLA and mobile UML
zbMATH Open document ID: 1086.68016
author: Alexander Knapp
author: Stephan Merz
author: Martin Wirsing
author: Júlia Zappe
published in: Theoretical Computer Science
publication date: 2006-04-06T00:00:00Z
full work available at URL: final.pdf
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5017462
zbMATH Keywords: mobile systems
zbMATH Keywords: temporal logic
zbMATH Keywords: spatial logic
zbMATH Keywords: specification
zbMATH Keywords: verification
zbMATH Keywords: refinement
zbMATH Keywords: UML
zbMATH Keywords: system development
describes a project that uses: SLMC
describes a project that uses: KLAIM
MaRDI profile type: Publication
OpenAlex ID: W2102932199
cites work: The existence of refinement mappings
cites work: Q4885875
cites work: The B-Book
cites work: Refinement Calculus
cites work: Q4413609
cites work: Q4522244
cites work: A spatial logic for concurrency. I
cites work: Mobile ambients
cites work: Anytime, anywhere
cites work: Statecharts: a visual formalism for complex systems
cites work: Q4261731
cites work: Global Computing
cites work: Q4493899
cites work: A calculus of mobile processes. II
cites work: Q2767185
cites work: Extensionality and intensionality of the ambient logics
cites work: Q3410189
DOI: 10.1016/J.TCS.2005.09.067
description: scientific article; zbMATH DE number 5017462