Gerard Ekembe Ngondi

According to our database, Gerard Ekembe Ngondi authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Novel Bio-Inspired Bat Node Scheduling Algorithm for Dependable Safety-Critical Wireless Sensor Network Systems.

Issam Alnader, Aboubaker Lasebae, Rand Raheem, Gerard Ekembe Ngondi

Sensors, March, 2024

2023

Semantics of dynamic hiding in mobile UTP-CSP.

Gerard Ekembe Ngondi

Theor. Comput. Sci., September, 2023

2022

From CCS to CSP: the m-among-n Synchronisation Approach.

Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

2021

Denotational semantics of channel mobility in UTP-CSP.

Gerard Ekembe Ngondi

Formal Aspects Comput., 2021

Translation of CCS into CSP, Correct up to Strong Bisimulation.

Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

2016

Denotational semantics of mobility in Unifying Theories of Programming (UTP).

Gerard Ekembe Ngondi

PhD thesis, 2016

UTP Semantics of Reactive Processes with Continuations.

Gerard Ekembe Ngondi, Jim Woodcock

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015

Unifying Theories of Mobile Channels.

Gerard Ekembe Ngondi

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015