Výsledky vyhledávání - "Ngondi, Gerard Ekembe"

Report

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

Autor: Ngondi, Gerard Ekembe, Koutavas, Vasileios, Butterfield, Andrew

Publikováno v: EPTCS 368, 2022, pp. 60-74

We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), this translation is not limited

Externí odkaz: http://arxiv.org/abs/2209.05232

Zobrazit plný text záznamu

Report

Unifying Theories of Mobile Channels

Autor: Ngondi, Gerard Ekembe

Publikováno v: EPTCS 209, 2016, pp. 24-39

In this paper we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes (precisely, the UTP semantics for Communicatin

Externí odkaz: http://arxiv.org/abs/1606.02018

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

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

Autor: Al-Nader, Issam, Lasebae, Aboubaker, Raheem, Rand, Ngondi, Gerard Ekembe

Publikováno v: Sensors (14248220); 3/15/2024, Vol. 24 Issue 6, p1-17, 17p, 2 Diagrams, 4 Charts, 6 Graphs

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

A dictionary of computer science / editors for this edition Andrew Butterfield, Gerard Ekembe Ngondi.

Kniha

UTP Semantics of Reactive Processes with Continuations.

Autor: Ngondi, Gerard Ekembe, Woodcock, Jim

Publikováno v: Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers; 2017, p114-133, 20p

Zobrazit plný text záznamu