A process calculus BigrTiMo of mobile systems and its formal semantics
From MaRDI portal
Publication:2026376
DOI10.1007/s00165-021-00530-xOpenAlexW3134644061MaRDI QIDQ2026376
Wanling Xie, Huibiao Zhu, Qiwen Xu
Publication date: 19 May 2021
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-021-00530-x
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Developments in concurrent Kleene algebra
- A Maude environment for CafeOBJ
- 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
- Resources, concurrency, and local reasoning
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A timed model for communicating sequential processes
- A calculus of communicating systems
- Conditional rewriting logic as a unified model of concurrency
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- An algebraic verification of a mobile network
- From algebra to operational semantics
- Lectures on Petri nets. 1: Basic models. Advances in Petri nets
- A calculus for cryptographic protocols: The spi calculus
- A theory of timed automata
- Normal form approach to compiler design
- Isabelle. A generic theorem prover
- Probabilistic models for the guarded command language
- Isabelle/HOL. A proof assistant for higher-order logic
- Maude: specification and programming in rewriting logic
- A UTP approach for rTiMo
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- A structural approach to operational semantics
- Full abstraction for a shared-variable parallel language
- In praise of algebra
- The safety-critical Java memory model formalised
- Executable structural operational semantics in Maude
- A lattice-theoretical fixpoint theorem and its applications
- Specifying and Analyzing the Kademlia Protocol in Maude
- Model Checking Reconfigurable Petri Nets with Maude
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language
- Mobile Ambients with Timers and Types
- The Space and Motion of Communicating Agents
- Modelling Mobile IP with Mobile Petri Nets
- Process algebra for synchronous communication
- Laws of programming
- Unifying Semantics for Concurrent Programming
- Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
- CONCUR 2004 - Concurrency Theory
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Formal Methods for the Design of Real-Time Systems