A process calculus BigrTiMo of mobile systems and its formal semantics
type: Item
instance of: scholarly article
title: A process calculus BigrTiMo of mobile systems and its formal semantics
author: Wanling Xie
author: Huibiao Zhu
author: Qiwen Xu
published in: Formal Aspects of Computing
publication date: 2021-05-19T00:00:00Z
Mathematics Subject Classification ID: 68-XX
zbMATH DE Number: 7349690
describes a project that uses: Coq
describes a project that uses: Maria
describes a project that uses: Uppaal
describes a project that uses: PAT
describes a project that uses: PTSC
describes a project that uses: Isabelle
describes a project that uses: Maude
MaRDI profile type: Publication
full work available at URL: s00165-021-00530-x
OpenAlex ID: W3134644061
cites work: Mobile Ambients with Timers and Types
cites work: Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
cites work: A theory of timed automata
cites work: A calculus for cryptographic protocols: The spi calculus
cites work: Formal Methods for the Design of Real-Time Systems
cites work: CONCUR 2004 - Concurrency Theory
cites work: Process algebra for synchronous communication
cites work: Full abstraction for a shared-variable parallel language
cites work: Maude: specification and programming in rewriting logic
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Mobile ambients
cites work: Timed mobility in process algebra and Petri nets
cites work: The safety-critical Java memory model formalised
cites work: An algebraic approach to the design of compilers for object-oriented languages
cites work: The Maude LTL model checker
cites work: Q3997501
cites work: Q3998266
cites work: From algebra to operational semantics
cites work: Laws of programming
cites work: Normal form approach to compiler design
cites work: Q3777424
cites work: Unifying Semantics for Concurrent Programming
cites work: Q3907039
cites work: Probabilistic models for the guarded command language
cites work: In praise of algebra
cites work: Developments in concurrent Kleene algebra
cites work: Formal Techniques for Networked and Distributed Systems - FORTE 2005
cites work: Modelling Mobile IP with Mobile Petri Nets
cites work: Q3045275
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: A calculus of communicating systems
cites work: Q4248252
cites work: The Space and Motion of Communicating Agents
cites work: A calculus of mobile processes. I
cites work: A calculus of mobile processes. II
cites work: Q4023828
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Resources, concurrency, and local reasoning
cites work: An algebraic verification of a mobile network
cites work: Isabelle. A generic theorem prover
cites work: A structural approach to operational semantics
cites work: Specifying and Analyzing the Kademlia Protocol in Maude
cites work: A Maude environment for CafeOBJ
cites work: A timed model for communicating sequential processes
cites work: Lectures on Petri nets. 1: Basic models. Advances in Petri nets
cites work: Q3922134
cites work: A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Model Checking Reconfigurable Petri Nets with Maude
cites work: Executable structural operational semantics in Maude
cites work: Q4201911
cites work: A UTP approach for rTiMo
cites work: Denotational Semantics for a Probabilistic Timed Shared-Variable Language
cites work: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
DOI: 10.1007/S00165-021-00530-X
description: scientific article; zbMATH DE number 7349690