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