Searching for authors named "Guy Leduc" – sorted by Relevance.
-
Multimedia in the E-LOTOS Process Algebra
- 1 Multimedia in the E-LOTOS Process Algebra Guy Leduc Research Unit in Networking, University
- Add To MetaCart
-
Verification of two versions of the Challenge Handshake Authentication Protocol (CHAP)
- 1 Verification of two versions of the Challenge Handshake Authentication Protocol (CHAP) Guy
- Cited by 1 (0 self) – Add To MetaCart
-
Failure-based Congruences, Unfair Divergences and New Testing Theory
- , Chapman & Hall, 1994. 1 Failure-based Congruences, Unfair Divergences and New Testing Theory Guy Leduc
- Cited by 2 (0 self) – Add To MetaCart
-
Conformance relation, associated equivalence, and minimum canonical tester in LOTOS
- ), 249-264. 1 Conformance relation, associated equivalence, and minimum canonical tester in LOTOS Guy
- Cited by 2 (0 self) – Add To MetaCart
-
A framework based on implementation relations for implementing LOTOS specifications
- on implementation relations for implementing LOTOS specifications Guy Leduc Research Associate of the National
- Cited by 15 (2 self) – Add To MetaCart
-
A Method for Applying LOTOS at an Early Design Stage and Its Application to the ISO Transport Protocol
- for Applying LOTOS at an Early Design Stage and its Application to the ISO Transport Protocol Guy Leduc
- Add To MetaCart
-
RADAR: Ring-based Adaptive Discovery of Active Neighbour Routers
- RADAR: Ring-based Adaptive Discovery of Active neighbour Routers Sylvain Martin and Guy Leduc
- Cited by 2 (1 self) – Add To MetaCart
-
A Dynamic Neighbourhood Discovery Protocol for Active Overlay Networks
- d-RADAR is a neighbourhood discovery protocol for overlay network environments designed for (but not limited to) active network overlays. The core of the algorithm is an expanding ring-search based on the IP routing table content augmented with traffic-based and dynamic refreshing techniques t
- Cited by 1 (0 self) – Add To MetaCart
-
Verification of security protocols using LOTOS - Method and application
- Verification of security protocols using LOTOS-method and application G. Leduc, F. Germeau
- Cited by 6 (1 self) – Add To MetaCart
-
Resource Trading Agents for Adaptive Active Network Applications
- Resource Trading Agents for Adaptive Active Network Applications Lidia Yamamoto - Guy Leduc
- Cited by 1 (0 self) – Add To MetaCart

