Semantics of dynamic hiding in mobile UTP-CSP

DOI10.1016/J.TCS.2023.114079MaRDI QIDQ6093580zbMATH OpenFDO

Authors Gerard Ekembe Ngondi

Publication date 7 September 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

UTPunifying theories of programmingchannel mobilityCSPmobdynamic hidingdynamic network systemsmobile communicating sequential processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Communication networks in operations research (90B18) Semantics in the theory of computing (68Q55)

Recommendations

• Denotational semantics of channel mobility in UTP-CSP
• Hiding in stream semantics of uniform concurrency
• Denote CSP with temporal formulas
• Hide and new in the \(\pi\)-calculus
• scientific article; zbMATH DE number 1617321

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1949583 (Why is no real title available?)
• Denotational semantics of channel mobility in UTP-CSP
• Understanding concurrent systems

Cited in

(2)

• Hiding in stream semantics of uniform concurrency
• Denotational semantics of channel mobility in UTP-CSP

This page was built for publication: Semantics of dynamic hiding in mobile UTP-CSP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6093580)