Alain Finkel
Alain Finkel.
Reduction and covering of infinite reachability trees.
Information and Computation
, 89(2):144-179, December 1990.
Citations.
Gérard Cécé, Alain Finkel, and S. Purushothaman Iyer.
Unreliable channels are easier to verify than perfect channels.
Information and Computation
, 124(1):20-31, 10 January 1996.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database