Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Reasoning about probabilistic lossy channel systems Parosh Abdulla
 

Summary: Reasoning about probabilistic lossy channel systems
Parosh Abdulla
Dept of Computer Systems,
Uppsala University,
Uppsala, Sweden
Christel Baier
Dept of Computer Science
University of Bonn
Bonn, Germany
Purushothaman Iyer 
Dept of Computer Science
North Carolina State University
Raleigh, NC 27695, USA
Bengt Jonsson
Dept of Computer Systems,
Uppsala University,
Uppsala, Sweden
May 8, 2001
Abstract
We consider the problem of deciding whether an in nite-state system (expressed

  

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

 

Collections: Computer Technologies and Information Sciences