A UTP approach for rTiMo
From MaRDI portal
Publication:1624596
DOI10.1007/s00165-018-0467-1zbMath1425.68304OpenAlexW2885842066MaRDI QIDQ1624596
Shuangqing Xiang, Huibiao Zhu, Wanling Xie
Publication date: 16 November 2018
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-018-0467-1
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP ⋮ Angelic processes for CSP via the UTP ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Developments in concurrent Kleene algebra
- A model checking-based approach for security policy verification of mobile systems
- A Hoare logic for linear systems
- Metrics for labelled Markov processes
- 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
- Resources, concurrency, and local reasoning
- Strategy based semantics for mobility with time and access permissions
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- A calculus of communicating systems
- From algebra to operational semantics
- Normal form approach to compiler design
- Isabelle. A generic theorem prover
- Extending Hoare logic to real-time
- Probabilistic models for the guarded command language
- Mobile ambients
- Reasoning about actions with loops via Hoare logic
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- A structural approach to operational semantics
- In praise of algebra
- The safety-critical Java memory model formalised
- A lattice-theoretical fixpoint theorem and its applications
- A New Roadmap for Linking Theories of Programming
- UTP Semantics for rTiMo
- Modelling Mobile IP with Mobile Petri Nets
- Laws of programming
- Hoare logic for Java in Isabelle/HOL
- Modular Analysis of Petri Nets
- Abstraction, Refinement and Proof for Probabilistic Systems
- Unifying Semantics for Concurrent Programming
- Modular state space analysis of coloured Petri Nets
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- An axiomatic basis for computer programming
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
