db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T Infinite Traces, Acceptances and CSPP
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A Adrian E. Lawrence
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E  Alan G. Chalmers,  Majid Mirmehdi,  Henk Muller
%B Communicating Process Architectures 2001
%X There is a long standing problem when infinite traces are
   included in denotational semantic models of CSP. Full models
   fail to be Complete Partial Orders under refinement. This
   paper introduces a novel, but entirely natural, way of
   representing infinite behaviour in which refinement is a
   Complete Partial Order when the alphabet of events is
   finite. Acceptance semantics also solves the problem of
   infinite behaviour with an infinite alphabet. That requires
   a different construction based on a metric space and will be
   described elsewhere.