[LF] ================================================ AMAST Links 02 05

                       Two papers in concurrency
                          by Rance Cleaveland

  I would like to announce the availability of the following papers via
anonymous ftp from science.csc.ncsu.edu.  The files may be found in
subdirectory pub/papers/ after gaining ftp access to this machine.

  _1_ at URL: ftp://science.csc.ncsu.edu/pub/papers/icalp95.ps.Z
Title :  Divergence and Fair Testing
Bib :    To appear in Proceedings of ICALP '95
  *Abstract*
  This paper develops a new testing-based semantic theory of processes
that aims to circumvent difficulties that traditional testing/failures
theories have in dealing with divergent behavior.  Our framework
incorporates a notion of _fairness_ into the determination of when a
process passes a test; we contrast this definition with existing
approaches and give characterizations of the induced semantic
preorders.  An example highlights the utility of our results.

  _2_ at URL: ftp://science.csc.ncsu.edu/pub/papers/lics95.ps.Z
Title :  Efficient On-the-Fly Model Checking for CTL*
Bib :    To appear in Proceedings of LICS '95
  *Abstract*
  This paper gives an on-the-fly algorithm for determining whether a
finite-state system satisfies a formula in the temporal logic CTL*. The
time complexity of our algorithm matches that of the best existing
``global algorithm'' for model checking in this logic, and it performs
as well as the best known global algorithms for the sublogics CTL and
LTL. In contrast with these approaches, however, our routine constructs
the state space of the system under consideration in a need-driven
fashion, and will therefore perform better in practice.