Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Improved Search Strategy for Lossy Channel Systems
 

Summary: An Improved Search Strategy for Lossy
Channel Systems
Parosh Aziz Abdulla
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
parosh@docs.uu.se
Mats Kindahl
Dept. of Computer Systems
P.O. Box 325
S­751 05 Uppsala, Sweden
matkin@docs.uu.se
Doron Peled
Bell Laboratories
700 Mountain Avenue
Murray Hill, NJ 07974
doron@research.bell­labs.com
Key Words: Protocol validation, lossy channels, state space reduction, safety prop­
erties.
Abstract

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences