UTP semantics for rTiMo

DOI10.1007/978-3-319-52228-9_9MaRDI QIDQ2971181zbMATH OpenOpenAlexFDO

Authors Wanling Xie, Shuangqing Xiang

Publication date 4 April 2017

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52228-9_9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A UTP approach for rTiMo
• Timed mobility in process algebra and Petri nets
• scientific article; zbMATH DE number 3902019
• Strategy based semantics for mobility with time and access permissions
• A Timed Mobility Semantics Based on Rewriting Strategies

Cites work

• A model checking-based approach for security policy verification of mobile systems
• An algebraic approach to the design of compilers for object-oriented languages
• Denotational semantics and its algebraic derivation for an event-driven system-level language
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Laws of programming
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Modelling mobile IP with mobile Petri nets
• Normal form approach to compiler design
• Strategy based semantics for mobility with time and access permissions
• Timed mobility in process algebra and Petri nets
• Verification of sequential and concurrent programs

Cited in

(2)

• A UTP approach for rTiMo
• A process calculus BigrTiMo of mobile systems and its formal semantics

This page was built for publication: UTP semantics for rTiMo

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