Semantics of dynamic hiding in mobile UTP-CSP

DOI10.1016/J.TCS.2023.114079zbMATH Open1520.68039MaRDI QIDQ6093580FDOQ6093580

Authors: Gerard Ekembe Ngondi 

Publication date: 7 September 2023

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Understanding concurrent systems
• Denotational semantics of channel mobility in UTP-CSP
• Title not available (Why is that?)

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)