Searching for authors named "Guy Leduc" – sorted by Relevance.
51 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
