Denotational semantics of channel mobility in UTP-CSP

DOI10.1007/S00165-021-00546-3OpenAlexW3167227784MaRDI QIDQ1982650

Gerard Ekembe Ngondi

Publication date: 14 September 2021

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00546-3

zbMATH Keywords

CSPdenotational semanticscommunicating sequential processesUTPunifying theories of programmingchannel mobilitydynamic network (topology)

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (3)

Translation of CCS into CSP, correct up to strong bisimulation ⋮ Semantics of dynamic hiding in mobile UTP-CSP ⋮ Unnamed Item

Uses Software

• occam-pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• The mathematical construction of a program
• On the expressiveness of internal mobility in name-passing calculi
• Understanding concurrent systems
• UTP Semantics of Reactive Processes with Continuations
• CSP is Expressive Enough for π
• Unifying Theories of Interrupts
• Separation Logic Semantics for Communicating Processes
• A Theory of Pointers for the UTP
• Communicating Sequential Processes. The First 25 Years
• Stream-based specification of mobile systems

This page was built for publication: Denotational semantics of channel mobility in UTP-CSP