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
UTPunifying theories of programmingchannel mobilityCSPmobdynamic hidingdynamic network systemsmobile communicating sequential processes
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Communication networks in operations research (90B18) Semantics in the theory of computing (68Q55)
Cites Work
Cited In (2)
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)