A UTP approach for rTiMo
From MaRDI portal
Publication:1624596
DOI10.1007/S00165-018-0467-1zbMATH Open1425.68304OpenAlexW2885842066MaRDI QIDQ1624596FDOQ1624596
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
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Isabelle. A generic theorem prover
- A structural approach to operational semantics
- A lattice-theoretical fixpoint theorem and its applications
- Laws of programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Metrics for labelled Markov processes
- A calculus of communicating systems
- Resources, concurrency, and local reasoning
- Developments in concurrent Kleene algebra
- Title not available (Why is that?)
- Abstraction, Refinement and Proof for Probabilistic Systems
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Mobile ambients
- Title not available (Why is that?)
- Probabilistic models for the guarded command language
- Hoare logic for Java in Isabelle/HOL
- A model checking-based approach for security policy verification of mobile systems
- Verification of sequential and concurrent programs
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- A Hoare logic for linear systems
- Normal form approach to compiler design
- An algebraic approach to the design of compilers for object-oriented languages
- Timed mobility in process algebra and Petri nets
- From algebra to operational semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modular Analysis of Petri Nets
- Title not available (Why is that?)
- Strategy based semantics for mobility with time and access permissions
- In praise of algebra
- The safety-critical Java memory model formalised
- Extending Hoare logic to real-time
- Unifying Semantics for Concurrent Programming
- Modular state space analysis of coloured Petri Nets
- Reasoning about actions with loops via Hoare logic
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- A New Roadmap for Linking Theories of Programming
- UTP Semantics for rTiMo
- Modelling mobile IP with mobile Petri nets
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
Cited In (6)
- Angelic processes for CSP via the UTP
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Three Approaches to Timed External Choice in UTP
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- Domain Analysis and Description – Sorts, Types, Intents
- Domain modelling: a foundation for software development
Uses Software
This page was built for publication: A UTP approach for rTiMo
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1624596)
