UTP Semantics for rTiMo

DOI10.1007/978-3-319-52228-9_9zbMath1483.68238OpenAlexW2569167111MaRDI QIDQ2971181

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

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

Related Items (1)

A UTP approach for rTiMo

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
• Timed mobility in process algebra and Petri nets
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Verification of sequential and concurrent programs
• Strategy based semantics for mobility with time and access permissions
• Denotational semantics and its algebraic derivation for an event-driven system-level language
• Normal form approach to compiler design
• Modelling Mobile IP with Mobile Petri Nets
• Laws of programming
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: UTP Semantics for rTiMo